Cătălin Hrițcu

Talks

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

Journey Beyond Full Abstraction:
Exploring Robust Property Preservation for Secure Compilation
- Recent: Workshop on Principles of Secure Compilation (PriSC @ POPL'19): slides (2019-01-13)
Verified Effectful Programming in F*
- Recent: Nomadic Labs Paris (Tezos): slides, video (2018-11-14)
- Invited Keynote Talk at Trends in Functional Programming (TFP): slides (2017-06-21)
- Inria Prosecco Seminar (2017-06-14)
When Good Components Go Bad
- Recent: Computer and Communications Security, CCS 2018: slides (2018-10-18)
- DARPA SSITH/HOPE PI meeting: slides (2018-05-30)
- Dagstuhl Seminar on Secure Compilation: slides (2018-05-17)
- IRIF Verification Seminar, Paris 7: slides (2018-02-26)
- SoSySec seminar: Software and Systems Security at IRISA, Rennes: slides, video (2018-02-05)
- Workshop on Principles of Secure Compilation (PriSC'18) at POPL'19 in LA: slides (2018-01-13)
- Al. I. Cuza University of Iasi: slides (2017-12-18)
- ESOP PC Workshop at Inria Paris: slides (2017-12-15)
Formally Secure Compilation
- Recent: Invited Keynote talk at Working Formal Methods Symposium (FROM 2018): slides (2018-06-20)
What is secure compilation?
- Recent: Discussion at Dagstuhl Seminar on Secure Compilation: slides (2018-05-14)
- Short talk at Secure Compilation Meeting (SCM): slides (2017-01-15)
Principles of Secure Compilation, PriSC'18
- Program Chair's Welcome Message: slides (2018-01-13)
What's new in F*?
- Talk at Everest Workshop: slides (2017-10-02)
Presentation of Inria Prosecco team
- French-American Doctoral Exchange Program (FADEx) 2017: Cybersecurity: slides (2017-06-16)
European Symposium on Security and Privacy, EuroS&P 2017
- General Chair's Welcome Message: slides (2017-04-26)
Efficient Formally Secure Compilers to a Tagged Architecture
- Université Clermont Auvergne: slides, video (2017-04-06)
- LRI VALS seminar at University Paris-Sud: slides (2017-03-17)
- CEA List seminar: slides (2016-12-13)
- Microsoft Research Redmond security seminar: slides (2016-11-03)
- Inria Gallium seminar: slides (2016-09-02)
- Secure compilation mini-workshop at Inria Paris: slides (2016-08-17)
- ERC Starting Grant interview: slides (2016-05-31)
- Inria Prosecco Seminar: slides (2016-03-02)
- MPI-SWS Colloquium: slides (2016-02-22)
What is secure compilation?
- Short talk at Secure Compilation Meeting (SCM): slides (2017-01-15)
Dependent Types and Multi-Monadic Effects in F*
- Dagstuhl Seminar 16131 on
  Language Based Verification Tools for Functional Programs: slides (2016-03-30)
- ML Workshop 2015: slides, video (2015-09-03)
More Secure Software Systems by Formal Verification,
Property-Based Testing, Secure Compilation, and Dynamic Monitoring
- Invited Vision Talk at Scientific Committee meeting of Nokia's Bell Labs
  -- Inria common lab: slides (2015-12-15)
Micro-Policies: Formally Verified, Tag-Based Security Monitors
- Microsoft Research Redmond: slides (2015-08-12)
- Invited Keynote talk at PLAS 2015: slides (2015-07-06)
- Inria Rennes - DGA Seminar on Formal Methods and Security: slides (2015-06-19)
- HP Labs - Inria seminar: slides (2015-05-21)
- Inria Prosecco evaluation: slides (2015-03-20)
- FCS-FCC: abstract, extended abstract, slides (2014-07-18)
- Grande Region Security and Reliability Day in Saarbrücken: slides (2014-03-12)
Foundational Property-Based Testing
- PLSE @ University of Washington: slides (2015-08-28)
- CoqPL Workshop: slides, code, abstract (2015-01-18)
- GT LTP of GDR GPL: slides, code (2014-10-20)
QuickChick: Property-based testing for Coq
- Maxime Dénès presented this at the Coq Workshop: abstract, slides, code (2014-07-18)
- Coq Working Group @ PPS: slides (2014-03-19)
- Inria Prosecco reading group: slides, code (2013-11-29)
Testing Noninterference, Quickly
- Short talk at IEEE 26th Computer Security Foundations Symposium: slides (2013-06-27)
- Stanford Security Lunch: slides (2013-05-15)
Formally Verified Privacy-Preserving Distributed Applications
- Inria Paris-Rocquencourt: slides (2013-05-30)
All Your IFCException Are Belong To Us
- IEEE Symposium on Security & Privacy (Oakland): slides (2013-05-20)
- 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)
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)
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)