PCC 2008
Second International Workshop on Proof-Carrying Code

22 June 2008

Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

PCC 2008 home page · PDF schedule · Abstracts

The workshop is in Newell Simon Hall, location 2 on this CMU Campus Map. All talks are in Newell Simon 1507. Breaks are in the Newell Simon Atrium and will be shared with the FCS-ARSPA-WITS and SecReT workshops.

Links: Local information; CMU campus walking map

0930–1030 Static Analysis for Extended Byte Code Verification
Thomas Jensen Invited Talk
1100–1130 Noninterference for Mobile Code with Dynamic Security Domains
Robert Grabowski
1130–1200 Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
Christian Bell, Robert Dockins, Aquinas Hobor, Andrew W. Appel and David Walker
1200–1230 Tight Enforcement of Flexible Information-Release Policies for Dynamic Languages
Andrei Sabelfeld
1230–1400 Lunch
1400–1500 Modular Development of Certified System Software
Zhong Shao Invited Talk
1500–1530 A Practical PCC Framework for Java Bytecode
Robert Atkey
1530–1600 Break
1600–1630 Reasoning About Faulty Programs
Matthew L. Meola, Frances Perry and David Walker
1630–1700 AURA: A Programming Language for Authorization and Audit
Limin Jia

Page last modified: Monday 16 June 2008