Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450328623

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Language-Based Approach to Secure Quorum Replication

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637117 ◽

2014 ◽

Cited By ~ 1

Author(s):

Lantian Zheng ◽

Andrew C. Myers

Download Full-text

Paragon

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637122 ◽

2014 ◽

Author(s):

Niklas Broberg ◽

Bart van Delft ◽

David Sands

Download Full-text

You Sank My Battleship!

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637115 ◽

2014 ◽

Cited By ~ 2

Author(s):

Alley Stoughton ◽

Andrew Johnson ◽

Samuel Beller ◽

Karishma Chadha ◽

Dennis Chen ◽

...

Download Full-text

Operational Semantics for Secure Interoperation

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637118 ◽

2014 ◽

Cited By ~ 2

Author(s):

Adriaan Larmuseau ◽

Marco Patrignani ◽

Dave Clarke

Keyword(s):

Operational Semantics ◽

Secure Interoperation

Download Full-text

Domain-Polymorphic Programming of Privacy-Preserving Applications

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637119 ◽

2014 ◽

Cited By ~ 9

Author(s):

Dan Bogdanov ◽

Peeter Laud ◽

Jaak Randmets

Keyword(s):

Privacy Preserving

Download Full-text

Monitoring Reactive Systems with Dynamic Channels

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637120 ◽

2014 ◽

Author(s):

Dante Zanarini ◽

Mauro Jaskelioff

Keyword(s):

Reactive Systems

Download Full-text

Building Secure Systems with LIO (Demo)

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637121 ◽

2014 ◽

Author(s):

Deian Stefan ◽

David Maziéres

Keyword(s):

Secure Systems

Download Full-text

To Dream the Impossible Dream

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2639514 ◽

2014 ◽

Author(s):

Julian Dolby

Download Full-text

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14 ◽

10.1145/2637113.2637116 ◽

2014 ◽

Cited By ~ 12

Author(s):

Abhishek Bichhawat ◽

Vineet Rajani ◽

Deepak Garg ◽

Christian Hammer

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A Language-Based Approach to Secure Quorum Replication

Paragon

You Sank My Battleship!

Operational Semantics for Secure Interoperation

Domain-Polymorphic Programming of Privacy-Preserving Applications

Monitoring Reactive Systems with Dynamic Channels

Building Secure Systems with LIO (Demo)

To Dream the Impossible Dream

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security - PLAS'14
Latest Publications