default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@ECOOP 2014: Uppsala, Sweden

> Home > Conferences and Workshops > PLAS
> Home > Conferences and Workshops > ECOOP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/ecoop/2014plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2014plas
Alejandro Russo, Omer Tripp:
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. ACM 2014, ISBN 978-1-4503-2862-3

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Dolby14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Dolby14
Julian Dolby:
To Dream the Impossible Dream: Toward Security Analysis for JavaScript. 1

Information-flow control I

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/StoughtonJBCCFZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/StoughtonJBCCFZ14
Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich:
You Sank My Battleship!: A Case Study in Secure Programming. 2
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BichhawatRGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BichhawatRGH14
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer:
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. 15
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/StefanM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/StefanM14
Deian Stefan, David Mazières:
Building Secure Systems with LIO (Demo). 25

Language-based security

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ZhengM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ZhengM14
Lantian Zheng, Andrew C. Myers:
A Language-Based Approach to Secure Quorum Replication. 27
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/LarmuseauPC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LarmuseauPC14
Adriaan Larmuseau, Marco Patrignani, Dave Clarke:
Operational Semantics for Secure Interoperation. 40
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BogdanovLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BogdanovLR14
Dan Bogdanov, Peeter Laud, Jaak Randmets:
Domain-Polymorphic Programming of Privacy-Preserving Applications. 53

Information-flow control II

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ZanariniJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ZanariniJ14
Dante Zanarini, Mauro Jaskelioff:
Monitoring Reactive Systems with Dynamic Channels. 66
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BrobergDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BrobergDS14
Niklas Broberg, Bart van Delft, David Sands:
Paragon: Programming with Information Flow Control (Demo). 79

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.