Stop the war!

Остановите войну!

for scientists:

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
  - no references & citations available
- 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

a service of

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.