default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPLAS@PLDI 2008: Tucson, AZ, USA
- Úlfar Erlingsson, Marco Pistoia:
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. ACM 2008, ISBN 978-1-59593-936-4
Language-based security
- Fabio Massacci
, Ida Sri Rejeki Siahaan:
Simulating midlet's security claims with automata modulo theory. 1-9 - Kevin W. Hamlen, Micah Jones:
Aspect-oriented in-lined reference monitors. 11-20 - Nikhil Swamy, Michael Hicks:
Verified enforcement of stateful information release policies. 21-32
Software protection and verification
- Clifford Liem, Yuan Xiang Gu, Harold Johnson:
A compiler-based infrastructure for software-protection. 33-44 - Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A security domain model to assess software for exploitable covert channels. 45-56 - Christian Hammer, Rüdiger Schaade, Gregor Snelting:
Static path conditions for Java. 57-66
Program analysis for security and policy enforcement
- James Cheney, Morten Dahl:
Resource bound analysis for database queries. 67-78 - Dejan Baca, Bengt Carlsson, Lars Lundberg:
Evaluating the cost reduction of static code analysis for software security. 79-88 - Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A type system for data-flow integrity on windows vista. 89-100 - Miranda Mowbray, Antonio Lain:
Dominator-tree analysis for distributed authorization. 101-112
Information-flow security
- Riccardo Focardi, Matteo Centenaro:
Information flow security of multi-threaded distributed programs. 113-124 - Lantian Zheng, Andrew C. Myers:
Securing nonintrusive web encryption through information flow. 125-134 - Pasquale Malacaria, Han Chen:
Lagrange multipliers and maximum information leakage in different observational models. 135-146
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.
last updated on 2024-11-04 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
