The SCEAS System
Navigation Menu

Conferences in DBLP

SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pldi)
2007 (conf/pldi/2007plas)


  1. Jifclipse: development tools for security-typed languages. [Citation Graph (, )][DBLP]


  2. Improving usability of information flow security in java. [Citation Graph (, )][DBLP]


  3. A domain-specific programming language for secure multiparty computation. [Citation Graph (, )][DBLP]


  4. Quantitative analysis of leakage for multi-threaded programs. [Citation Graph (, )][DBLP]


  5. A simulation-based proof technique for dynamic information flow. [Citation Graph (, )][DBLP]


  6. Cautious virus detection in the extreme. [Citation Graph (, )][DBLP]


  7. Localized delimited release: combining the what and where dimensions of information release. [Citation Graph (, )][DBLP]


  8. Towards a logical account of declassification. [Citation Graph (, )][DBLP]


  9. Fast probabilistic simulation, nontermination, and secure information flow. [Citation Graph (, )][DBLP]


  10. Informal presentation: a trust management perspective on managing policy updates in security-typed languages. [Citation Graph (, )][DBLP]


  11. Large-scale analysis of format string vulnerabilities in Debian Linux. [Citation Graph (, )][DBLP]


  12. Guarded models for intrusion detection. [Citation Graph (, )][DBLP]


  13. Using web application construction frameworks to protect against code injection attacks. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002