Andrei Popescu

Homepages 🌐

• https://www.andreipopescu.uk

E-Mails 📧

• ku.ca.dleiffehs@ucsepop.a

Entries

2026

Type Annotations with Roundtrip Property

by Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu and Dmitriy Traytel

May 12

2024

A formalized programming language with speculative execution

by Jamie Wright and Andrei Popescu

Aug 16

Countable Sums and Discrete (Sub)Distributions

by Gergely Buday and Andrei Popescu

May 25

Secret-Directed Unwinding

by Brijesh Dongol, Matthew Griffin, Andrei Popescu and Jamie Wright

May 24

Relative Security

by Andrei Popescu and Jamie Wright

May 24

More Operations on Lazy Lists

by Andrei Popescu and Jamie Wright

May 24

2023

Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion

by Andrei Popescu

Feb 28

2021

Fresh identifiers

by Andrei Popescu and Thomas Bauereiss

Aug 16

CoSMed: A confidentiality-verified social media platform

by Thomas Bauereiss and Andrei Popescu

Aug 16

CoSMeDis: A confidentiality-verified distributed social media platform

by Thomas Bauereiss and Andrei Popescu

Aug 16

CoCon: A Confidentiality-Verified Conference Management System

by Andrei Popescu, Peter Lammich and Thomas Bauereiss

Aug 16

Compositional BD Security

by Thomas Bauereiss and Andrei Popescu

Aug 16

2020

Syntax-Independent Logic Infrastructure

by Andrei Popescu and Dmitriy Traytel

Sep 16

Robinson Arithmetic

by Andrei Popescu and Dmitriy Traytel

Sep 16

An Abstract Formalization of Gödel's Incompleteness Theorems

by Andrei Popescu and Dmitriy Traytel

Sep 16

From Abstract to Concrete Gödel's Incompleteness Theorems—Part II

by Andrei Popescu and Dmitriy Traytel

Sep 16

From Abstract to Concrete Gödel's Incompleteness Theorems—Part I

by Andrei Popescu and Dmitriy Traytel

Sep 16

2019

A General Theory of Syntax with Bindings

by Lorenzo Gheri and Andrei Popescu

Apr 06

2017

Operations on Bounded Natural Functors

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

Dec 19

Abstract Soundness

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

Feb 10

2014

Bounded-Deducibility Security

by Andrei Popescu, Peter Lammich and Thomas Bauereiss

Apr 22

A shallow embedding of HyperCTL*

by Markus N. Rabe, Peter Lammich and Andrei Popescu

Apr 16

Abstract Completeness

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

Apr 16

Probabilistic Noninterference

by Andrei Popescu and Johannes Hölzl

Mar 11

2013

Sound and Complete Sort Encodings for First-Order Logic

by Jasmin Christian Blanchette and Andrei Popescu

Jun 27

2012

Possibilistic Noninterference

by Andrei Popescu and Johannes Hölzl

Sep 10

2009

Ordinals and Cardinals

by Andrei Popescu

Sep 01