Publications associées à EOS: Efficient Private Delegation of zkSNARK Provers

Publications associées (28)

On the Theory and Practice of Modern Secure Messaging

Billions of people now have conversations daily over the Internet. A large portion of this communication takes place via secure messaging protocols that offer "end-to-end encryption'" guarantees and resilience to compromise like the widely-used Double Ratc ...

EPFL2024

Secure and Efficient Cryptographic Algorithms in a Quantum World

Loïs Evan Huguenin-Dumittan

Since the advent of internet and mass communication, two public-key cryptographic algorithms have shared the monopoly of data encryption and authentication: Diffie-Hellman and RSA. However, in the last few years, progress made in quantum physics -- and mo ...

EPFL2024

Differentially private multi-agent constraint optimization

Boi Faltings, Sujit Prakash Gujar, Aleksei Triastcyn, Sankarshan Damle

Distributed constraint optimization (DCOP) is a framework in which multiple agents with private constraints (or preferences) cooperate to achieve a common goal optimally. DCOPs are applicable in several multi-agent coordination/allocation problems, such as ...

Springer2024

Contributions to rebar-to-concrete interaction and its structural implications for design and monitoring applications

Enrique Corres Sojo

Bond between reinforcing bars and concrete has been the focus of extensive research over the last century. This is well-justified as the functioning of reinforced concrete intimately depends on the interaction between rebar and concrete, as for example cra ...

EPFL2024

A concrete answer for circular construction: three prototypes reusing saw-cut elements

Corentin Jean Dominique Fivet, Maléna Bastien Masse, Célia Marine Küpfer

Existing concrete buildings should be retained for as long as possible to reduce the environmental burden of demolition and new construction. However, when urban pressure makes demolition unavoidable, salvaging and reusing concrete elements elsewhere in ne ...

2024

Reusability assessment of reinforced concrete components prior to deconstruction from obsolete buildings

Corentin Jean Dominique Fivet, Maléna Bastien Masse, Julie Rachel Devènes

A large part of building demolitions is motivated by purely socio-economic reasons. Hence, about-to-be-demolished structures, commonly made of reinforced concrete, very often present no or little degradation. When adaptive reuse of the entire building is n ...

2024

Experimental and analytical investigation of shear-reinforced concrete and dowel action

Marko Pejatovic

Codes of practice can be overly conservative, particularly for the shear resistance of reinforced concrete beams with shear reinforcement when large loads act close to supports. This thesis addresses the topic by proposing a refined design approach based o ...

EPFL2024

Structural component reuse of precast and cast-in-place reinforced concrete in architecture since the late 1960s in Europe

Corentin Jean Dominique Fivet, Célia Marine Küpfer

The reuse of concrete pieces salvaged from structures undergoing transformation or demolition into new architectural projects has gained a sudden and visible interest over the past five years. However, the practice of reusing concrete pieces in new structu ...

vdf Hochschulverlag AG2024

Experimental investigation of dowel action in reinforcing bars using refined measurements

Aurelio Muttoni, Marko Pejatovic

In typical reinforced concrete design, reinforcement is designed to carry axial forces, but it can also resist transversal forces by dowel action. This is usually neglected for simplicity's sake in the design phase, but it can be accounted for either expli ...

Ernst & Sohn2024

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Alireza Modirshanechi

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

COMMUNICATION LOWER BOUNDS AND OPTIMAL ALGORITHMS FOR MULTIPLE TENSOR-TIMES-MATRIX COMPUTATION

Laura Grigori

Multiple tensor-times-matrix (Multi-TTM) is a key computation in algorithms for computing and operating with the Tucker tensor decomposition, which is frequently used in multidimensional data analysis. We establish communication lower bounds that determine ...

Siam Publications2024

Engineering novel protein interactions with therapeutic potential using deep learning-guided surface design

Anthony Marchand

Proteins are foundational biomolecules of life playing a crucial role in a myriad of biological processes. Their function often requires interplay with other biomolecules, including proteins themselves. Protein-protein interactions (PPIs) are essential for ...

EPFL2024

The time-domain Cartesian multipole expansion of electromagnetic fields

Emanuela Radici, Farhad Rachidi-Haeri, Marcos Rubinstein, Nicolas Mora Parra, Elias Per Joachim Le Boudec

Time-domain solutions of Maxwell’s equations in homogeneous and isotropic media are paramount to studying transient or broadband phenomena. However, analytical solutions are generally unavailable for practical applications, while numerical solutions are co ...

Nature Publishing Group2024

Influence of model uncertainty and long term deformations in action effects calculation in reinforced concrete structures

Xhemsi Malja

Most codes of practice adopt a semi probabilistic design approach for the dimensioning and assessment of structures. Accordingly, structural safety is ensured by performing limit state verifications using design values determined with adequately calibrated ...

EPFL2024

Estimation of the bar stress based on crack width measurements in reinforced concrete structures

Aurelio Muttoni, Enrique Corres Sojo

Estimating the stress of reinforcing bars and its variations in service conditions can be useful to determine the reserve capacity of structures or to assess the risk of fatigue in the reinforcement. This paper investigates the use crack width measurements ...

Ernst & Sohn2024

Live-cell imaging powered by computation

Suliana Manley

The proliferation of microscopy methods for live-cell imaging offers many new possibilities for users but can also be challenging to navigate. The prevailing challenge in live-cell fluorescence microscopy is capturing intra-cellular dynamics while preservi ...

Nature Portfolio2024

Thwarting Malicious Adversaries in Homomorphic Encryption Pipelines

Sylvain Chatel

Homomorphic Encryption (HE) enables computations to be executed directly on encrypted data. As such, it is an auspicious solution for protecting the confidentiality of sensitive data without impeding its usability. However, HE does not provide any guarant ...

EPFL2023

Bridging the gap between theoretical and practical privacy technologies for at-risk populations

Kasra Edalatnejadkhamene

With the pervasive digitalization of modern life, we benefit from efficient access to information and services. Yet, this digitalization poses severe privacy challenges, especially for special-needs individuals. Beyond being a fundamental human right, priv ...

EPFL2023

Low-tech methods for the reuse of reinforced concrete structural elements

Nicole Widmer, Corentin Jean Dominique Fivet, Maléna Bastien Masse, Julie Rachel Devènes

Most of existing buildings are made of concrete, new buildings are being built with it and others are demolished when still in good structural condition. This drives increased demands for raw materials, greenhouse gas emissions, and an accumulation of demo ...

2023

Experimental testing and structural analysis of composite tile – reinforced concrete domes

Savvas Saloustros

Conventional formworks for concrete curved shells either are expensive, complex and wasteful or have formal restrictions. Using tile vaults (also known as timbrel, Guastavino, thin-tile or Catalan vaults) as stay-in-place formwork for concrete shells could ...

2023