Start-up
Rovenso
Publications associées (184)
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs
Mathias Josef Payer, Jianhao Xu
Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...
Berkeley2023Security Measures for Grids Against Rank-1 Undetectable Time-Synchronization Attacks
Jean-Yves Le Boudec, Marguerite Marie Nathalie Delcourt
Time-synchronization attacks on phasor measurement units (PMUs) pose a real threat to smart grids; it was shown that they are feasible in practice and that they can have a nonnegligible negative impact on state estimation, without triggering the bad data d ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022Electrical-Level Attacks on CPUs, FPGAs, and GPUs: Survey and Implications in the Heterogeneous Era
Mirjana Stojilovic, Dina Gamaleldin Ahmed Shawky Mahmoud
Given the need for efficient high-performance computing, computer architectures combining CPUs, GPUs, and FPGAs are nowadays prevalent. However, each of these components suffers from electrical-level security risks. Moving to heterogeneous systems, with th ...
2022PROFACTORY: Improving IoT Security via Formalized Protocol Customization
Mathias Josef Payer, Fei Wang, Duo Xu, Xiangyu Zhang
As IoT applications gain widespread adoption, it becomes important to design and implement IoT protocols with security. Existing research in protocol security reveals that the majority of disclosed protocol vulnerabilities are caused by incorrectly impleme ...
USENIX ASSOC2022Calibration of ground surface albedo models
Christophe Ballif, Pierre-Jean Alet, Arttu Matias Tuomiranta
The emergence of bifacial photovoltaics as a serious option for large-scale power generation makes the accuracy of the in-situ estimation of ground surface albedo increasingly critical. Recent studies have evaluated the performance of different models but ...
PERGAMON-ELSEVIER SCIENCE LTD2022PlaceNet: A multi-scale semantic-aware model for visual loop closure detection
Hussein Fadl Hassan Hassan Osman
Loop closure detection helps simultaneous localization and mapping systems reduce map and state uncertainty via recognizing previously visited places along the path of a mobile robot. However, visual loop closure detection is susceptible to scenes with dyn ...
PERGAMON-ELSEVIER SCIENCE LTD2022Toward Mobile Distributed Ledgers
Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos, Anurag Jain
Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022Aerobiology over the Southern Ocean – implications for bacterial colonization of Antarctica
Parts of the Antarctic are experiencing dramatic ecosystem change due to rapid and record warming, which may weaken biogeographic boundaries and dispersal barriers, increasing the risks of biological invasions. In this study, we collected air samples from ...
2022Heat recovery potential from ventilated passive and active facades
Dolaana Khovalyg, Mohammad Rahiminejad
A ventilated air-space behind external claddings can potentially affect the thermal performance of the entire building structure. In particular, in the Building Integrated Photovoltaic (BIPV) facades, ventilated cavities are typically present between the P ...
TU Delft OPEN2022An evaluation of new particle formation events in Helsinki during a Baltic Sea cyanobacterial summer bloom
Several studies have investigated new particle formation (NPF) events from various sites ranging from pristine locations, including forest sites, to urban areas. However, there is still a dearth of studies investigating NPF processes and subsequent aerosol ...
COPERNICUS GESELLSCHAFT MBH2022