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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ioana Boureanu