Publications related to Trusted third party

Attestable Software Versioning for Stateful Confidential Computing

Edouard Bugnion, Charly Nicolas Lucien Castes

Trusted execution environments enable the creation of confidential and attestable enclaves that exclude the platform and service providers from the trusted base. From its initial attestable state, a stateful enclave such as a confidential database can hold ...

2022

Secured Routines: Language-based Construction of Trusted Execution Environments

James Richard Larus, Edouard Bugnion, Adrien Ghosn

Trusted Execution Environments (TEEs), such as Intel SGX enclaves, use hardware to ensure the confidentiality and integrity of operations on sensitive data. While the technology is available on many processors, the complexity of its programming model and i ...

USENIX ASSOC2019

Poster: LocalCoin: An Ad-hoc Payment Scheme for Areas with High Connectivity

Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos

The popularity of digital currencies, especially cryptocurrencies, has been continuously growing since the appearance of Bitcoin. Bitcoin is a peer-to-peer (P2P) cryptocurrency protocol enabling transactions between individuals without the need of a truste ...

Assoc Computing Machinery2016

LocalCoin: An ad-hoc payment scheme for areas with high connectivity: poster.

Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos

The popularity of digital currencies, especially cryptocurrencies, has been continuously growing since the appearance of Bitcoin. Bitcoin is a peer-to-peer (P2P) cryptocurrency protocol enabling transactions between individuals without the need of a truste ...

ACM2016

Bringing Theory Closer to Practice in Post-quantum and Leakage-resilient Cryptography

Alexandre Raphaël Duc

Modern cryptography pushed forward the need of having provable security. Whereas ancient cryptography was only relying on heuristic assumptions and the secrecy of the designs, nowadays researchers try to make the security of schemes to rely on mathematical ...

EPFL2015

Interference-Resilient Information Exchange

Rachid Guerraoui, Seth Gilbert

This paper presents an efficient protocol for reliably exchanging information in a single-hop, multi-channel radio network subject to unpredictable interference. We model the interference by an adversary that can simultaneously disrupt up to t of the C ava ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Secure Communication Over Radio Channels

Rachid Guerraoui, Seth Gilbert

We study the problem of secure communication in a multi-channel, single-hop radio network with a malicious adversary that can cause collisions and spoof messages. We assume no pre-shared secrets or trusted-third-party infrastructure. The main contribution ...

2008

Self-organized public-key management for mobile ad hoc networks

Jean-Pierre Hubaux, Levente Buttyan, Srdan Capkun

In contrast with conventional networks, mobile ad hoc networks usually do not provide on-line access to trusted authorities or to centralized servers and they exhibit frequent partitioning due to link and node failures and to node mobility. For these reaso ...

2003

Self-Organized Public-Key Management for Mobile Ad Hoc Networks

Jean-Pierre Hubaux, Levente Buttyan, Srdan Capkun

In contrast with conventional networks, mobile ad hoc networks do not provide on-line access to trusted authorities or to centralized servers. For this reason, key management is particularly difficult to implement in such networks. The solutions published ...

2002

Trusted third party

Attestable Software Versioning for Stateful Confidential Computing

Secured Routines: Language-based Construction of Trusted Execution Environments

Poster: LocalCoin: An Ad-hoc Payment Scheme for Areas with High Connectivity

LocalCoin: An ad-hoc payment scheme for areas with high connectivity: poster.

Bringing Theory Closer to Practice in Post-quantum and Leakage-resilient Cryptography

Interference-Resilient Information Exchange

Secure Communication Over Radio Channels

Self-organized public-key management for mobile ad hoc networks

Self-Organized Public-Key Management for Mobile Ad Hoc Networks

Graph Chatbot

Chat with Graph Search

Interference-Resilient Information Exchange

Attestable Software Versioning for Stateful Confidential Computing

Bringing Theory Closer to Practice in Post-quantum and Leakage-resilient Cryptography

Secure Communication Over Radio Channels

Self-organized public-key management for mobile ad hoc networks

Poster: LocalCoin: An Ad-hoc Payment Scheme for Areas with High Connectivity

LocalCoin: An ad-hoc payment scheme for areas with high connectivity: poster.

Secured Routines: Language-based Construction of Trusted Execution Environments

Self-Organized Public-Key Management for Mobile Ad Hoc Networks