Ioana Boureanu

MaRDI QIDQ2851355zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Program semantics and verification technique for AI-centred programs Formal Methods	2023-08-17	Paper
Optimal proximity proofs Information Security and Cryptology	2015-11-25	Paper
Towards secure distance bounding Fast Software Encryption	2015-09-18	Paper
Compact and efficient UC commitments under atomic-exchanges Information Security and Cryptology - ICISC 2014	2015-09-11	Paper
Primeless factoring-based cryptography. Solving the complexity bottleneck of public-key generation Applied Cryptography and Network Security	2014-01-24	Paper
Input-aware equivocable commitments and UC-secure commitments with atomic exchanges Provable Security	2013-10-23	Paper
Secure and lightweight distance-bounding Lecture Notes in Computer Science	2013-10-10	Paper
The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks Information Security and Cryptology	2013-05-28	Paper
Several weak bit-commitments using seal-once tamper-evident devices Provable Security	2012-11-06	Paper
On the pseudorandom function assumption in (secure) distance-bounding protocols. PRF-ness alone does not stop the frauds! Progress in Cryptology – LATINCRYPT 2012	2012-09-21	Paper
Automatic verification of temporal-epistemic properties of cryptographic protocols Journal of Applied Non-Classical Logics	2010-03-10	Paper
scientific article; zbMATH DE number 5263446 (Why is no real title available?)	2008-04-14	Paper

Research outcomes over time

This page was built for person: Ioana Boureanu