Publications related to Version control

A Cavity-Microscope for Quantum Simulations with Locally-Controllable All-to-All Interactions

This thesis presents the development, construction, and benchmark of an experimental platform that combines cold fermionic 6Li atoms with locally controllable light-matter interactions. To enable local control, a new device, the cavity-microscope, was crea ...

EPFL2024

TEEzz: Fuzzing Trusted Applications on COTS Android Devices

Mathias Josef Payer, Marcel Busch

Security and privacy-sensitive smartphone applications use trusted execution environments (TEEs) to protect sensitive operations from malicious code. By design, TEEs have privileged access to the entire system but expose little to no insight into their inn ...

IEEE COMPUTER SOC2023

A Mechanized Theory of the Box Calculus

Yichen Xu

Capture calculus is an extension of System Fsub that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previous calculi had mechanized soundness proofs, the latest version, namely the box ...

2023

, ,

Revision behavior in adaptive writing support systems is an important and relatively new area of research that can improve the design and effectiveness of these tools, and promote students' self-regulated learning (SRL). Understanding how these tools are u ...

Zenodo2023