Below is a list of students I (co)supervised and a list of events I organized, participated, or (sub)reviewed for.

Students

  • Andrei Cotor
    Process Permissions and Data Subject Rights in νActionGUI (Semester project)

  • Roman Fischer
    Security Type Annotations for Hybrid Information Flow Control (MSc thesis)

  • Colin Pfingstl
    Program Transformer for Hybrid Information Flow Control (MSc thesis)

  • Zijing Yin
    Real-time Linux Kernel Monitoring (PhD thesis)

  • Sofie Daniels
    Secure and Privacy–aware Object Relational Mappers (MSc thesis)

  • Alexander Kvamme
    A Formal, Comprehensive, and Enforceable GDPR Specification (MSc thesis)

  • Sven Wey
    Log Generation from Source Code with LLMs (BSc thesis)

  • Daniel Galan:
    Hybrid Information-flow Control (PhD thesis)

  • Linda Hu
    Proactive Real-time Enforcement with WhyEnf (BSc thesis)

  • Raymond Nasr
    νActionGUI (Semester project)

  • Jeniffer Lima Graf
    Signature Inference for Monitoring Structured Logs (MSc thesis)

  • Matthias Lott
    Temporal Data Golf (BSc thesis)

  • Daniel Gradwohl
    Model Transformations for Privacy-by-design (BSc thesis)

  • Karlo Piskor
    Secure Object-Relational Mappers (BSc thesis)

  • Berkay Aydogdu
    Monitoring using Differential Datalog (BSc thesis)

  • Jeniffer Lima Graf
    Monitoring Complex Data Types (Semester project)

  • Matthieu Gras:
    Explicit versus Implicit Monitoring (MSc thesis)

  • Remo Zumsteg
    Monitoring Complex Data Types (BSc thesis)

  • Matthieu Gras:
    Linux Kernel Monitoring (Semester project)

  • Hoàng Nguyễn Phước:
    Model-driven Privacy (PhD thesis)

  • François Hublet:
    Enforcement of Temporal Information-flow Policies (PhD thesis)

  • Martin Raszyk:
    Efficient, Expressive, and Verified Temporal Query Evaluation (PhD thesis)

  • Gigon Almada e Melo Artur:
    User-friendly Monitoring (MSc thesis)

  • Nicolas Kaletsch:
    Formalizing Typing Rules for VeriMon (BSc thesis)

  • François Hublet:
    A Prototype Implementation of the “Databank Model” (MSc thesis)

  • Valeria Jannelli:
    White-Box Parallel Monitor for Metric First Order Temporal Logic (BSc thesis)

  • Stefan Zemljic:
    Monitoring Subledger Accounting with Metric First-Order Temporal Logic (BSc thesis)

  • François Hublet:
    Monitoring Unsafe First-order Formulas (Semester project)

  • Sarah Plocher:
    From StreamingSQL to MFOTL (MSc thesis)

  • Matthieu Gras:
    Scalable Multi-source Online Monitoring (BSc thesis)

  • Christian Fania:
    Self-Adaptive Online Monitoring (BSc thesis)

  • Frederik Brix:
    Adaptive Online Monitoring (MSc thesis)

  • Joshua Schneider:
    Scalable and Trustworthy Monitoring (Phd thesis)

  • Nemanja Stolić:
    HyperSpark: A Framework for Parallel Execution of Meta-heuristic Algorithms (MSc thesis)

Conference and Journal Service

I serve as an associate editor for the IEEE Transactions on Reliability journal.