Ioana Boureanu

Available identifiers

zbMath Open boureanu.ioanaWikidataQ109524043 ScholiaQ109524043MaRDI QIDQ2851355

List of research outcomes

Publication	Date of Publication	Type
Program semantics and verification technique for AI-centred programs	2023-08-17	Paper
Optimal Proximity Proofs	2015-11-25	Paper
Towards Secure Distance Bounding	2015-09-18	Paper
Compact and Efficient UC Commitments Under Atomic-Exchanges	2015-09-11	Paper
Primeless Factoring-Based Cryptography	2014-01-24	Paper
Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges	2013-10-23	Paper
Secure and Lightweight Distance-Bounding	2013-10-10	Paper
The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks	2013-05-28	Paper
Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices	2012-11-06	Paper
On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols	2012-09-21	Paper
Automatic verification of temporal-epistemic properties of cryptographic protocols	2010-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5457705	2008-04-14	Paper

Research outcomes over time

This page was built for person: Ioana Boureanu