Andrei Popescu
Homepages 🌐
E-Mails 📧
Entries
2024
Secret-Directed Unwinding
by Brijesh Dongol 📧, Matthew Griffin 📧, Andrei Popescu 📧 and Jamie Wright 📧
2023
2021
CoSMeDis: A confidentiality-verified distributed social media platform
by Thomas Bauereiss 📧 and Andrei Popescu 🌐
CoCon: A Confidentiality-Verified Conference Management System
by Andrei Popescu 🌐, Peter Lammich 📧 and Thomas Bauereiss 📧
2020
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
2017
Operations on Bounded Natural Functors
by Jasmin Christian Blanchette 📧, Andrei Popescu 🌐 and Dmitriy Traytel 🌐
2014
2013
Sound and Complete Sort Encodings for First-Order Logic
by Jasmin Christian Blanchette 🌐 and Andrei Popescu 🌐