Steve Zdancewic's Talks (out of date)
  • Language-based Information Security
    16 Dec. 2005. Computer Information Assurance and Security Invited Talk Series. University of Texas, San Antonio.

  • Deriving Noninterference Results from Parametricity
    19 May 2005. Mathematical Foundations of Program Semantics (MFPS). Birmingham, England.

  • Challenges in Information-flow Security
    25 Aug. 2004. The First International Workshop on Programming Language Interference and Dependence (PLID). Verona, Italy.
    (PLID04.ppt)

  • Programming Language Tools for Security
    31 Oct. 2003. Keynote address at the First ACM Workshop on Business Driven Security Engineering (BIZSEC). Fairfax, Virginia.

  • Dynamic Principals and the Decentralized Label Model
    6 Oct. 2003. Dagstuhl Seminar on Language-based Security, Schloss Dagstuhl, Germany.

  • Jif and Secure Program Partitioning
    25 Sept. 2003. City University of NY Graduate Center

  • Information Integrity Policies
    8 Sept. 2003. Formal Aspects of Security and Trust (FAST) workshop, Pisa Italy

  • Three Lectures on Language-based Information Flow Security
    24 & 25 June 2003. Summer School on Foundations of Security, University of Oregon, Eugene Oregon.

  • Information Flow Security
    10 April 2003. Stevens Institute of Technology Laboratory for Secure Systems Seminar

  • Jif: Java + Information Flow
    19 November 2002. Penn's Security Seminar
    (jif.ppt)

  • Programming Languages for Information Security (jobtalk.ppt)
        Oregon Graduate Institute
        University of Oregon
        University of Pennsylvania
        University of Virginia
        Northeastern University
        Harvard University
        University of California, San Diego
        University of Michigan
        Purdue University
        University of Texas at Austin
        Rice University
        University of Maryland
        MIT
        University of Colorado, Boulder
        Pennsylvania State University

  • Untrusted Hosts and Confidentiality: Secure Program Partitioning
    22 October 2001. SOSP. (sosp01.ppt)

  • Robust Declassification
    11 June 2001. Computer Security Foundations Workshop.
    (csfw01.ppt)

  • Secure Information Flow and CPS
    4 April 2001. European Symposium on Programming.
    (esop01.ppt)

  • Information Flow, Security and Programming Languages
    5 Nov. 1999. Cornell University PL Seminar.
    (security.ppt)

  • Principals in Programming: A Syntactic Proof Technique
    28 Sept. 1999. International Converence on Functional Programming.
    (icfp99.ppt)

  • A Syntactic Account of Type Abstraction
    6 Nov. 1998.  CMU's POP seminar.
    (slides.ps)
Last modified: Last modified: Wed Jan 4 16:45:21 EST 2012