![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.