iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/db/conf/pldi/plas2006.html

dblp: PLAS@PLDI 2006: Ottawa, Ontario, Canada

default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@PLDI 2006: Ottawa, Ontario, Canada

> Home > Conferences and Workshops > PLAS
> Home > Conferences and Workshops > PLDI

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pldi/2006plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2006plas
Vugranam C. Sreedhar, Steve Zdancewic:
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006. ACM 2006, ISBN 1-59593-374-3
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Wagner06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Wagner06
David A. Wagner:
Object capabilities for security. 1-2

Authorization and monitoring

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FraserPA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FraserPA06
Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh:
Applying flow-sensitive CQUAL to verify MINIX authorization check placement. 3-6
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HamlenMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HamlenMS06
Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider:
Certified In-lined Reference Monitoring on .NET. 7-16

Finding security flaws

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/UnnoKY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/UnnoKY06
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa:
Combining type-based analysis and model checking for finding counterexamples against non-interference. 17-26
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/JovanovicKK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/JovanovicKK06
Nenad Jovanovic, Christopher Kruegel, Engin Kirda:
Precise alias analysis for static detection of web application vulnerabilities. 27-36

Structuring secure systems

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PolakowS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PolakowS06
Jeff Polakow, Christian Skalka:
Specifying distributed trust management in LolliMon. 37-46
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LuS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LuS06
Xiaoqi Lu, Scott F. Smith:
A microkernel virtual machine: : building security with clear interfaces. 47-56

Secure information flow

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LiuT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LiuT06
Michael Yanguo Liu, Issa Traoré:
Empirical relation between coupling and attackability in software systems: : a case study on DOS. 57-64
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HicksKMH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HicksKMH06
Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks:
Trusted declassification: : high-level policy for a security-typed language. 65-74
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SmithT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SmithT06
Scott F. Smith, Mark Thober:
Refactoring programs to secure information flows. 75-84
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HristovaRLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HristovaRLS06
Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller:
Efficient type inference for secure information flow. 85-94

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.