skalka-talks.bib


@MISC{skalka-paradox,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Paradox Machines}},
  MONTH = {November},
  YEAR = 2003,
  NOTE = {Talk given to Computer Science Student Association, University of Vermont},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-paradox.pdf}
}


@MISC{pres-church03-1,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Types for Access Control: Foundations and Methodology}},
  MONTH = {January},
  YEAR = 2003,
  NOTE = {Talk given at Church Project Seminar, Boston University},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-church03-1.pdf}
}


@MISC{pres-nepls02,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Static Use-Based Object Confinement}},
  MONTH = {July},
  YEAR = 2002,
  NOTE = {Talk given at NEPLS, Yale University},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-fcs02.pdf}
}


@MISC{pres-fcs02,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Static Use-Based Object Confinement}},
  MONTH = {July},
  YEAR = 2002,
  NOTE = {Talk given at FCS'02, Copenhagen, Denmark},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-fcs02.pdf}
}


@MISC{pres-tip02-pml,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Set Types and Applications}},
  MONTH = {July},
  YEAR = 2002,
  NOTE = {Talk given at TIP'02, Dagstuhl, Germany},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-tip02-pml.pdf}
}


@MISC{pres-tip02-hmx,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Syntactic Type Soundness for $HM(X)$}},
  MONTH = {July},
  YEAR = 2002,
  NOTE = {Talk given at TIP'02, Dagstuhl, Germany},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-tip02-hmx.pdf}
}


@MISC{pres-esop01,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{A Systematic Approach to Static Access Control} 
\emph{(short version)}},
  MONTH = {April},
  YEAR = 2001,
  NOTE = {Talk given at ESOP'01, Genoa, Italy},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-esop01.pdf}
}


@MISC{pres-cmupop01,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{A Systematic Approach to Static Access Control} 
\emph{(long version)}},
  MONTH = {March},
  YEAR = 2001,
  NOTE = {Talk given at CMU PoP seminar},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-cmupop01.pdf}
}


@MISC{pres-icfp00,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Static Enforcement of Security with Types}},
  MONTH = {September},
  YEAR = 2000,
  NOTE = {Talk given at ICFP'00, Montr\'{e}al, Canada},
  PPT = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-icfp00.ppt}
}


@MISC{pres-njpls00,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Static Enforcement of Security with Types}},
  YEAR = 2000,
  NOTE = {Talk given at NJPLS, Princeton University},
  PPT = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-icfp00.ppt}
}


@MISC{pres-lucite99,
  AUTHOR = {Christian Skalka},
  TITLE = {\textcolor{navy}{Verifying Security Protocols with Specification Diagrams}},
  YEAR = 1999,
  NOTE = {Talk given at NSA Lucite seminar, George Mason University},
  PS = {http://www.cs.uvm.edu/~skalka/skalka-pubs/pres-lucite99.ps}
}


This file has been generated by bibtex2html 1.54