Cătălin Hriţcu

Talks

Here you find materials from most of the talks I have given so far.

Upcoming: TBD
- INRIA Paris-Rocquencourt (2013-05-30)
Fresh:: All Your IFCException Are Belong To Us
- IEEE Symposium on Security & Privacy (Oakland): slides (2013-05-20)
Fresh: Testing Noninterference, Quickly
- Stanford Security Lunch: slides (2013-05-15)
CRASH/SAFE: Clean-slate Co-design of a Secure Host Architecture
- Microsoft Research Cambridge: slides; video(2013-03-28)
- Prosecco team at INRIA Paris-Rocquencourt: slides (2013-01-04)
- InfSec group at Saarland University: slides (2012-12-18)
- EC SPRIDE at TU Darmstadt: slides (2012-12-18)
All Your IFCException Are Belong To Us
- New Jersey Programming Languages and Systems Seminar: slides (2012-11-14)
- IFIP Working Group 2.8 - Functional Programming: slides (2012-11-05)
- Harvard Programming Languages Group: slides (2012-10-15)
Poison-pills and dynamic information flow control
- Penn PLClub: slides (2012-05-11)
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols
- 4th NASA Formal Methods Symposium (NFM 2012): slides (2012-04-03)
Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis
- Thesis defense, Saarland University: slides (2012-01-10)
Breeze: A Language For Writing Secure Software
- Stevens Institute of Technology: slides (2011-11-28)
Union, Intersection, and Refinement Types and Reasoning about Type Disjointness for Analyzing Protocol Implementations
- Penn PLClub: slides (2011-07-20)
- MSR-INRIA Joint Centre, Parc Orsay Université: slides (2010-12-07)
Semantic Subtyping with an SMT Solver
- 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010): slides; video (2010-09-27)
- Workshop on Relations and Data Integrity Constraints and Languages (RADICAL 2010): slides; video
  (2010-05-10)
- Information Security and Cryptography Group: slides (2009-12-16)
Type-checking Implementations of Protocols Based on Zero-knowledge Proofs - Work in Progress
- Workshop on Foundations of Computer Security (FCS 2009): slides (2009-08-10)
Achieving Security Despite Compromise Using Zero-knowledge
- 22th IEEE Symposium on Computer Security Foundations (CSF 2009): slides (2009-07-10)
- Information Security and Cryptography Group: slides (2009-04-21 and 2009-06-30)
- Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'09): slides (2009-03-29)
Type-checking Zero-knowledge
- 15th ACM Conference on Computer and Communications Security (CCS 2008): slides, notes (2008-10-29)
- Microsoft Research Cambridge: slides (2008-07-22)
Automatic Verification of Remote Electronic Voting Protocols
- Microsoft Research Cambridge: slides (2008-07-21)
- 21st IEEE Computer Security Foundations Symposium (CSF): slides (2008-06-24)
- Colloquium of the GK and of the IMPRS: slides (2008-06-12)
- Max Planck Institute for Software Systems (Retreat in Berlin): slides (2008-03-11)
Evidence-based Audit (presented only)
- Information Security and Cryptography Group: presented paper, slides (2008-07-15)
Refinement Types for Secure Implementations (presented only)
- Information Security and Cryptography Group: presented paper, slides (2008-07-08)
Improving Security Despite Compromise with Zero-knowledge
- Joint CSF/LICS 2008 Short-Talk Session on Logic and Security: slides (2008-06-24)
A Type Discipline for Authorization in Distributed Systems (presented only)
- Information Security and Cryptography Group: presented paper, slides (2008-04-22)
Demand-Driven Alias Analysis for C (presented only)
- Software Model Checking Lecture: presented paper (2008-01-31)
Step-indexed Semantics of Imperative Objects
- Workshop on Foundations of Object-Oriented Languages (FOOL'08): slides (2008-01-13)
- Information Security and Cryptography Group: slides (2008-01-08)
Verifying Security Protocols and their Implementations (presented only)
- Information Security and Cryptography Group: presented paper, slides (2007-11-13)
Low-Level Software Security: Attacks and Defenses; Control Flow Integrity (presented only)
- System Security Seminar: presented paper, slides (2007-09-20)
Step-indexed Semantic Model of Types for the Functional Object Calculus
- Programming System Lab: slides (2007-06-21)
Step-indexed Semantics of Imperative Objects (abstract)
- IMPRS PhD Application slides, notes, handout (2007-02-26)
- Programming System Lab:
  - slides, notes (2007-02-22)
  - slides, notes (2006-11-13)
- IMPRS Master Seminar: slides, notes (2006-11-08)
Mining Version Archives (presented only)
- Empirical Software Engineering Seminar (SS 2006): slides, notes (2006-07-08)
FluXQuery: An Optimizing XQuery Processor for Streaming XML Data (presented only)
- Data Stream Processing Seminar (WS 2005/06): slides, slides (short), long report, poster (2005-12-21)
A Reference Implementation of ADF: Semantic Web-based Agent Communication
- SYNASC - Workshop on Agents for Complex Systems, ACSys 2005: slides (2005-09-25)
Designing a Multiprecision Number Theory Library
- NATO Advanced Research Workshop on Concurrent Information Processing and Computing: slides (2003-07-10)