Stop the war!
Остановите войну!
for scientists:
default search action
PLAS@PLDI 2013: Seattle, WA, USA
- Prasad Naldurg, Nikhil Swamy:
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2144-0
Keynote address
- David Sands:
Fault-tolerant non-interference: invited talk abstract. 1-2
Secure programming languages and models
- Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer:
Knowledge inference for optimizing secure multi-party computation. 3-14 - Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama:
Faceted execution of policy-agnostic programs. 15-26 - Andreas Gampe, Jeffery von Ronne:
Security completeness: towards noninterference in composed languages. 27-38 - Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong:
Position paper: Sapper - a language for provable hardware policy enforcement. 39-44
Web programming and security
- Matthias Keil, Peter Thiemann:
Type-based dependency analysis for javascript. 47-58 - Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck:
WEBLOG: a declarative language for secure web development. 59-70 - Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld:
GlassTube: a lightweight approach to web application integrity. 71-82 - Martin Mariusz Lester:
Position paper: the science of boxing. 83-88
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.