Publication

Compact and Efficient UC Commitments under Atomic-Exchanges

Publications associées (12)

Private Message Franking with After Opening Privacy

Recently Grubbs et al. [GLR17] initiated the formal study of message franking protocols. This new type of service launched by Facebook, allows the receiver in a secure messaging application to verifiably report to a third party an abusive message some send ...

2023

New SIDH Countermeasures for a More Efficient Key Exchange

Andrea Basso, Tako Boris Fouotsa

The Supersingular Isogeny Diffie-Hellman (SIDH) protocol has been the main and most efficient isogeny-based encryption protocol, until a series of breakthroughs led to a polynomial-time key-recovery attack. While some countermeasures have been proposed, th ...

Springer2023

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

Daniel Patrick Collins

Messaging between two parties and in the group setting has enjoyed widespread attention both in practice, and, more recently, from the cryptographic community. One of the main challenges in the area is constructing secure (end-to- end encrypted) and effici ...

2022

Stock-constrained truss design exploration through combinatorial equilibrium modeling

Jan Friedrich Georg Brütting

Reusing structural components has potential to reduce environmental impacts of building structures because it reduces new material use, energy consumption, and waste. When designing structures through reuse, available element characteristics become a desig ...

2021

District heating and cooling systems to integrate renewable energy in urban areas

Francesca Belfiore

The building sector plays a crucial role in the ongoing energy transition due to its significant share of global energy consumption and carbon dioxide emissions, especially when combined with the estimation that 70% of the world's population will be living ...

EPFL2021

Active renovation strategies with building-integrated photovoltaics (BIPV). Application on an early 20th century multi-family building

Emmanuel Rey, Sergi Aguacil Moreno

Tomorrow's cities are already largely built, as much of the existing building stock – with a low level of energy performance – will still be standing in 2050. Urban renewal processes therefore play an essential role towards the sustainable transition of Eu ...

2020

Architectural Design Strategies for Building-Integrated Photovoltaics in residential building renovation processes

Sergi Aguacil Moreno

Tomorrow's European cities are already largely built, as much of the existing building stock ¿ with a low level of energy performance ¿ will still be standing in 2050. Urban renewal processes therefore play an essential role towards their sustainable trans ...

EPFL2019

Systematic Integration of Energy-Optimal Buildings With District Networks

Luc Girardin, François Maréchal, Paul Michael Stadler, Raluca-Ancuta Suciu, Ivan Daniel Kantor

The residential sector accounts for a large share of worldwide energy consumption, yet is difficult to characterise, since consumption profiles depend on several factors from geographical location to individual building occupant behaviour. Given this diffi ...

2019

Model-based sizing of building energy systems with renewable sources

Paul Michael Stadler

The built environment currently represents the largest sector in terms of final energy consumption, both in Switzerland and the European Union. Most of the associated energy services, such as space heating and potable hot water preparation, are mainly sati ...

EPFL2019

Influence of energy-use scenarios in Life-Cycle Analysis of renovation projects with Building-Integrated Photovoltaics – Investigation through two case studies in Neuchâtel (Switzerland)

Emmanuel Rey, Sophie Lufkin, Sergi Aguacil Moreno

Since tomorrow’s cities are already largely built, and as many of their buildings – with a low level of energy performance – will still be standing in 2050, urban renewal processes play an essential role towards the sustainable development of European citi ...

H. Elsharkawy, S. Zahiri, J. Clough2017

Speculative Linearizability

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Linearizability is a key design methodology for reasoning about implementations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusion that operations execute sequentially and fault-free, despite the a ...

Assoc Computing Machinery2012

Equivalences and calculi for formal verification of cryptographic protocols

Johannes Borgström

Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptograp ...

EPFL2008