Multilevel Design Understanding: From Specification to Logic Invited Paper

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (30)

Security in the Presence of Quantum Adversaries

Khashayar Barooti

With the looming threat of large-scale quantum computers, a fair portion of recent cryptographic research has focused on examining cryptographic primitives from the perspective of a quantum adversary. Shor's 1994 result revealed that quantum computers can ...

EPFL2023

Voltage-driven Reactivity of Liquid Ga and CuGa Nanoparticles for Electrocatalytic CO2 Reduction and Synthesis

Valery Okatenko

The rising atmospheric level of carbon dioxide, CO2, contributes to climate change and poses urgent need to find scalable solutions both to decrease its emissions and to be able to recycle it, if the goals of Paris Agreement to limit the temperature rise a ...

EPFL2023

Making Classical (Threshold) Signatures Post-quantum for Single Use on a Public Ledger

Serge Vaudenay, Laurane Chloé Angélina Marco, Abdullah Talayhan

The Bitcoin architecture heavily relies on the ECDSA signature scheme which is broken by quantum adversaries as the secret key can be computed from the public key in quantum polynomial time. To mitigate this attack, bitcoins can be paid to the hash of a pu ...

2023

Revealing the Structure of Tryptophan in Microhydrated Complexes by Cold Ion Spectroscopy

Natalia Nagornova, Oleg Boyarkine, Andrei Zviagin, Ruslan Yamaletdinov, Manuel Dömer

The geometry of biomolecules isolated in the gas phaseusuallydiffers substantially from their native structures in aqueous solution,which are the only ones truly relevant to life science. To connectthe high resolution of cold ion spectroscopy that can be a ...

2023

Analytic Approximation of In-Body Path Loss for Implanted Antennas

Anja Skrivervik, Mingxiang Gao, Zvonimir Sipus

Implantable bioelectronic devices predominantly use wireless links for communication and/or power transfer. When considering transmitting implanted antennas, electromagnetic radiation through biological media is highly attenuated, and previous work has sho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Appropriations and Uses of Travel Time

Ludy Juliana González Villamizar

Time has always been a central factor in understanding the challenges of daily mobility. For a long time, and still today, methods of economic evaluation of transport projects have monetized time savings so that they can be included in the cost–benefit ana ...

ISTE Wiley2023

NORM TORI OF ETALE ALGEBRAS AND UNRAMIFIED BRAUER GROUPS

Eva Bayer Fluckiger, Ting-Yu Lee

Let k be a field, and let L be an etale k-algebra of finite rank. If a is an element of k(x), let X-a be the affine variety defined by N-L/k(x) = a. Assuming that L has at least one factor that is a cyclic field extension of k, we give a combinatorial desc ...

Hebrew Univ Magnes Press2023

Berry curvature dipole generation and helicity-to-spin conversion at symmetry-mismatched heterointerfaces

Peng Chen, Xupeng Yang

The Berry curvature dipole (BCD) is a key parameter that describes the geometric nature of energy bands in solids. It defines the dipole-like distribution of Berry curvature in the band structure and plays a key role in emergent nonlinear phenomena. The th ...

Nature Portfolio2023

ETFE and its Role in the Fabrication of Lightweight c-Si Solar Modules

Christophe Ballif, Fabiana Lisco

Glass-free, lightweight, photovoltaic modules have the potential to enable new uses of solar in building integrated and vehicle integrated applications. Glass-free modules have the advantages of reduced weight, lower-cost mounting solutions, and reduced tr ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Confirming the high pressure phase diagram of the Shastry-Sutherland model

Henrik Moodysson Rønnow, Martin Mansson

A Muon Spin Rotation (mu+SR) study was conducted to investigate the magnetic properties of SrCu2(BO3)(2) (SCBO) as a function of temperature/pressure. Measurements in zero field and transverse field confirm the absence of long range magnetic order at high ...

IOP PUBLISHING LTD2023

Page 2 sur 3