POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Sun 11 Jan 2026 14:00 - 14:18 at Salle 19 - Timing Side Channels Chair(s): Cătălin Hriţcu

Troupe is a functional programming language that provides the unique combination of decentralized programming, information-flow control (IFC), and a dynamic type system. Decentralization supports the creation of open self-organizing distributed systems. IFC ensures that secret information is not by accident shared with unwanted parties (confidentiality) nor that untrusted nodes may affect ones code execution (integrity). A dynamic type system permits the dynamic behaviour needed by a truly open and updateable system.

This very combination of language features poses new unique challenges. This abstract presents the key challenge of a secure cache needed for adding a module system to Troupe and showcases an example of a computing pattern related to code mobility.

Slides (slides.pdf)555KiB

Sun 11 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 15:30
Timing Side ChannelsPriSC at Salle 19
Chair(s): Cătălin Hriţcu MPI-SP
14:00
18m
Talk
Efficient Dependency Resolution in IFC-aware Decentralized Programming
PriSC
Steffan Sølvsten Aarhus University, Aslan Askarov Aarhus University
File Attached
14:18
18m
Talk
Tooling Design and Lessons Learned from Systematic Evaluations of the Preservation of Low-level Security Properties by Compilers with BinSec
PriSC
Yanis Sellami CEA, List, Univ. Grenoble Alpes, Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay
14:36
18m
Talk
Decompiling for Constant-Time Analysis
PriSC
Sören van der Wall TU Braunschweig, Santiago Arranz Olmos Max Planck Institute for Security and Privacy, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter Max Planck Institute for Security and Privacy, Youcef Bouzid , Zhiyuan Zhang
14:54
18m
Talk
Modular Verification of Probabilistic Constant-Time
PriSC
Xingyu Xie MPI-SP
File Attached
15:12
18m
Talk
GnuZero: A Compiler-Based Zeroization Static Detection Tool for the Masses
PriSC
Pierrick Philippe Univ Rennes, CNRS, IRISA, Mohamed Sabt Univ Rennes, CNRS, IRISA, Pierre-Alain Fouque Univ Rennes, CNRS, IRISA