Publications associées à Classified information in the United States

EOS: Efficient Private Delegation of zkSNARK Provers

Succinct zero knowledge proofs (i.e. zkSNARKs) are powerful cryptographic tools that enable a prover to convince a verifier that a given statement is true without revealing any additional information. Their attractive privacy properties have led to much ac ...

Usenix Assoc2023

Automated post-earthquake damage assessment of stone masonry buildings integrating machine learning, computer vision, and physics-based modeling

Bryan German Pantoja Rosero

Current post-earthquake damage assessment methodologies are not only time-consuming but also subjective in nature and difficult to document. Recent advancements in artificial intelligence and technological devices make it possible to accomplish this task a ...

EPFL2023

Hierarchical Pricing Game for Balancing the Charging of Ride-Hailing Electric Fleets

Nikolaos Geroliminis, Nils Gustav Nilsson, Marko Maljkovic

Due to the ever-increasing popularity of ride-hailing services and the indisputable shift towards alternative fuel vehicles, the intersection of the ride-hailing market and smart electric mobility provides an opportunity to trade different services to achi ...

2023

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

Micromechanically inspired investigation of cemented granular materials: part I-from X-ray micro tomography to measurable model variables

Gioacchino Viggiani, Edward Carlo Giorgio Andò

Cemented granular materials are abundant in nature and are often artificially produced. Their macroscopic behaviour is driven by small-scale material processes, which are generally classified as: grain breakage, cement damage and fragment rearrangement. Th ...

SPRINGER HEIDELBERG2022

Analyzing and Protecting Communication Metadata

Ludovic Barman

Most communication systems (e.g., e-mails, instant messengers, VPNs) use encryption to prevent third parties from learning sensitive information. However, encrypted communications protect the contents but often leak metadata: the amount of data sent and th ...

EPFL2021

Trust as a Programming Primitive

Adrien Ghosn

Programming has changed; programming languages have not. Modern software embraced reusable software components, i.e., public libraries, and runs in the cloud, on machines that co-locate applications from various origins. This new programming paradigm leads ...

EPFL2021

Closing Leaks: Routing Against Crosstalk Side-Channel Attacks

Mirjana Stojilovic, Seyedeh Sharareh Mirzargar, Zeinab Seifoori

This paper presents an extension to PathFinder FPGA routing algorithm, which enables it to deliver FPGA designs free from risks of crosstalk attacks. Crosstalk side-channel attacks are a real threat in large designs assembled from various IPs, where some I ...

2020

Privacy-Aware Digital Mediation Tools for Improving Adolescent Mental Well-being: Application to School Bullying

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia, Maria Gaci

In human-computer interaction, self-disclosure of sensitive information regarding distressing experiences requires the establishment of a trust channel between the user and the digital tool. As privacy and security have been identified as factors that cont ...

2020

DATASHARENETWORK A Decentralized Privacy-Preserving Search Engine for Investigative Journalists

Carmela González Troncoso, Wouter Lueks, Laurent Girod, Bruno Thomas

Investigative journalists collect large numbers of digital documents during their investigations. These documents can greatly benefit other journalists' work. However, many of these documents contain sensitive information. Hence, possessing such documents ...

USENIX ASSOC2020