Andrei Popescu
2021
CoSMeDis: A confidentiality-verified distributed social media platform
by Thomas Bauereiss and Andrei Popescu
CoSMed: A confidentiality-verified social media platform
by Thomas Bauereiss and Andrei Popescu
Compositional BD Security
by Thomas Bauereiss and Andrei Popescu
CoCon: A Confidentiality-Verified Conference Management System
by Andrei Popescu, Peter Lammich and Thomas Bauereiss
2020
Syntax-Independent Logic Infrastructure
by Andrei Popescu and Dmitriy Traytel
From Abstract to Concrete Gödel's Incompleteness Theorems—Part II
by Andrei Popescu and Dmitriy Traytel
From Abstract to Concrete Gödel's Incompleteness Theorems—Part I
by Andrei Popescu and Dmitriy Traytel
An Abstract Formalization of Gödel's Incompleteness Theorems
by Andrei Popescu and Dmitriy Traytel
2019
A General Theory of Syntax with Bindings
by Lorenzo Gheri and Andrei Popescu
2017
Operations on Bounded Natural Functors
by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel
Abstract Soundness
by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel
2014
Bounded-Deducibility Security
by Andrei Popescu, Peter Lammich and Thomas Bauereiss
Abstract Completeness
by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel
A shallow embedding of HyperCTL*
by Markus N. Rabe, Peter Lammich and Andrei Popescu
Probabilistic Noninterference
by Andrei Popescu and Johannes Hölzl
2013
Sound and Complete Sort Encodings for First-Order Logic
by Jasmin Christian Blanchette and Andrei Popescu
2012
Possibilistic Noninterference
by Andrei Popescu and Johannes Hölzl