2024
194 references published this year.
Formal Verification of Nonlinear Analog Circuits using State Space-Based Model Order Reduction
Yasmine Abu-Haeyeh and others (2024) · International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
Cyber security: State of the art, challenges and future directions
W. S. Admass and others (2024) · Elsevier BV
Puss in Boots: Formalizing Arm’s Virtual Memory System Architecture
Jade Alglave and others (2024) · Institute of Electrical and Electronics Engineers (IEEE)
Microarchitectural Insights into Unexplained Behaviors Under Clock Glitch Fault Injection
Ihab Alshaer and others (2024) · Springer Nature Switzerland
A world model: On the political logics of generative AI
Louise Amoore and others (2024) · Political Geography · Elsevier BV
Experimental graybox quantum system identification and control
Unattributed (2024) · Springer Science and Business Media LLC
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators
Anna Lena Duque Antón and others (2024) · Design, Automation and Test in Europe Conference (DATE '24)
Isla: integrating full-scale ISA semantics and axiomatic concurrency models
Alasdair Armstrong and others (2024) · Formal Methods in System Design
Why Wafer Bonding is the Future of Semiconductors
Asianometry (2024) · YouTube · video
Computational lithography: Driving nanometer precision in microchip manufacturing
ASML (2024) · YouTube · video
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
Anish Athalye and others (2024) · ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
Digital domination: Social media and contestatory democracy
Ugur Aytac (2024) · Political Studies
BGP AS_PATH Verification Based on Autonomous System Provider Authorization (ASPA) Objects
Alexander Azimov and others (2024) · Internet-Draft draft-ietf-sidropsaspa-verification-19, Internet Engineering Task Force, September 2024. Work in Progress
Formal Specification and Verification of Security Mechanisms for RISC-V Processors
Matthieu Baty (2024)
Exploring New Approach With Open Source EDA Tools
E.I. Baungarten-Leon and others (2024) · Proceedings of the Avances en Arquitectura y Tecnología de Computadores: Actas de las Jornadas SARTECO 2024, A Coruña, España,
The Genesis of AI by AI Integrated Circuit: Where AI Creates AI
Emilio Isaac Baungarten-Leon and others (2024) · Electronics · Multidisciplinary Digital Publishing Institute
Implementation of Control Activities in Scaled Agile Environments at Financial Service Providers to Improve Risk Management
M. B. Becks (2024)
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
How Tech Giants Turned Ukraine Into an AI War Lab
Vera Bergengruen (2024)
History-Based Reasoning About Behavioral Subtyping
Jinting Bian and others (2024) · Theoretical Aspects of Computing · Springer
Reasoning about object-oriented programs: from classes to interfaces
Jinting Bian (2024)
Design and Evaluation of Advanced Persistent Threat Scenarios for Cyber Ranges
Tore Bierwirth and others (2024) · IEEE Access · Institute of Electrical and Electronics Engineers
From compliance to security, responsibility beyond law
J. Boeken (2024) · Elsevier BV
Misinformation, disinformation, and fake news: lessons from an interdisciplinary, systematic literature review
Elena Broda and others (2024) · Annals of the International Communication Association · Oxford University Press (OUP)
Does Every Computer Scientist Need to Know Formal Methods?
Manfred Broy and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Foundation models are platform models: Prompting and the political economy of AI
Sarah Burkhardt and others (2024) · Big Data & Society · SAGE Publications
Hardware Model Checking Algorithms and Techniques
Gianpiero Cabodi and others (2024) · Algorithms · Multidisciplinary Digital Publishing Institute
Analog Reliability Analysis for Mission-Critical Applications
Art Schaldenbrand (Cadence) (2024) · https://www.cadence.com/en_US/home/resources/white-papers/ analog-reliability-analysis-for-mission-critical
Aantal bedrijven naar grootteklasse
Centraal Bureau voor de Statistiek (2024) · Tech
Full-Custom 90 nm CNTFET Process Design Kit: Characterization, Modeling, and Implementation
Liming Chen and others (2024) · Electronics · MDPI AG
GoFetch: Breaking Constant-Time Cryptographic Implementations Using Data Memory-Dependent Prefetchers
Boru Chen and others (2024) · USENIX Security
PRC State-Sponsored Actors Compromise and Maintain Persistent Access to U.S. Critical Infrastructure
Cybersecurity and Infrastructure Security Agency and others (2024) · Cybersecurity and Infrastructure Security Agency
ROVER: RTL Optimization via Verified E-Graph Rewriting
Samuel Coward and others (2024) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
OriGen: Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection
Fan Cui and others (2024)
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai and others (2024) · Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks
Sushant Dinesh and others (2024) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Protection of Mission Critical Functions to Achieve Trusted Systems and Networks
Office of the Under Secretary of Defense for Research and Engineering and others (2024) · United States Department of Defense · United States Department of Defense
Polynomial Formal Verification of Sequential Circuits
Caroline Dominik and others (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) · IEEE
A Logarithmic Decomposition and a Signed Measure Space for Entropy
Keenan J. A. Down and others (2024) · arXiv
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers
Theo Drane and others (2024) · 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH) · IEEE
Ten Years of ZMap
Zakir Durumeric and others (2024) · ACM
Data integration and analysis platforms as digital platforms: a conceptual proposal
Simon Egbert and others (2024) · Information Communication & Society · Routledge
The Platformization of Policing: A Cross-National Analysis
Simon Egbert and others (2024) · Policing and Intelligence in the Global Big Data Era, Volume I · Springer Nature Switzerland
This CHIP Changed the WORLD! MOSFET (ElectroBOOM101 -- 012)
ElectroBOOM (2024) · YouTube · video
Hybrid threats as a threat to democracy: Soft and smart tactics and three dimensions of democracy
Tanja Ellingsen (2024) · Preparing for Hybrid Threats to Security · Routledge
Regulation (EU) 2024/1689 of the European Parliament and of the Council of 13 June 2024 laying down harmonised rules on artificial intelligence (Artificial Intelligence Act)
European Union (2024)
Methodology for Formal Verification of Hardware Safety Strategies Using SMT
Faure-Gignoux, Anthony and others (2024) · Institute of Electrical and Electronics Engineers (IEEE)
Red-teaming for generative AI: Silver bullet or security theater?
Michael Feffer and others (2024) · Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society
High-Level Synthesis Developments in the Context of European Space Technology Research (Invited Talk)
F. Ferrandi and others (2024) · Open Access Ser. Inform.
Theorizing data analysis platforms – digital refractions and reconfigurations of pasts, presents and futures
Mikkel Flyverbom (2024) · Informa UK Limited
The Global Risks Report 2024
World Economic Forum. (2024)
2024 wilson research group ic/asic functional verification trend report
H. D. Foster (2024) · https: //static.sw.cdn.siemens.com/siemens-disw-assets/public/1NyfMZJ3nuPhMGQCGFDITG/ en-US/ic-asic-functional-verificat
Byzantine-Secure Relying Party for Resilient RPKI
Jens Frieß and others (2024) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Safe Speculation for CHERI
Franz A. Fuchs and others (2024) · 2024 IEEE 42nd International Conference on Computer Design (ICCD)
Effective Design Verification -- Constrained Random with Python and Cocotb
Deepak Narayan Gadde and others (2024)
A world of Palantir – ontological politics in the Danish police’s POL-INTEL
Vasilis Galis and others (2024) · Informa UK Limited
Quantum topological photonics with special focus on waveguide systems
Jun Gao and others (2024) · Springer Science and Business Media LLC
When trust fails: Examining systemic risk in the digital economy from the 2024 crowdstrike outage
A. Shaji George (2024) · Partners Universal Multidisciplinary Research Journal
Measuring the Unmeasurable: Estimating True Population of Hidden Online Communities
Jonah Gibbon and others (2024) · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
Adwait Godbole and others (2024)
MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors
Vasudev Gohil and others (2024) · 2024 Design, Automation and Test in Europe Conference and Exhibition (DATE)
RISC- Vcito: A Multicycle Tiny Processor Implemented with SKY130 PDK
M. Gonzalez-Perez and others (2024) · IEEE
"The Third University of Cambridge": BBN and the Development of the ARPAnet
Good Science Project (2024) · Good Science Project
Modelling and proving the monotonicity of processor pipelines in Coq
Alban Gruin and others (2024) · 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)
Resistance to platformization: Palantir in the Norwegian police
Helene O. I. Gundhus and others (2024) · Information, Communication & Society · Informa UK Limited
CBAS: An International Platform of Digital Technologies Facilitating Sustainable Development Goals
Huadong Guo and others (2024) · Bulletin of the Chinese Academy of Sciences · EDP Sciences
DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence
D. Guo and others (2024) · arXiv
Heterogeneous Static Timing Analysis with Advanced Delay Calculator
Zizheng Guo and others (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) · IEEE
Reinforcement Learning-Enhanced Cloud-Based Open Source Analog Circuit Generator for Standard and Cryogenic Temperatures in 130-nm and 180-nm OpenPDKs
Ali Hammoud and others (2024) · Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design · ACM
A New Operational Paradigm for IPoDWDM Networks
Steven J. Hand and others (2024) · IEEE Access · Institute of Electrical and Electronics Engineers
Hyperblock Scheduling for Verified High-Level Synthesis
Yann Herklotz and others (2024) · Association for Computing Machinery (ACM)
On the Versatility of the IHP BiCMOS Open Source and Manufacturable PDK: A step towards the future where anybody can design and build a chip
K. Herman and others (2024) · Institute of Electrical and Electronics Engineers (IEEE)
New Foundations for Separation Logic (Coq artifact)
Hans-Dieter Hiep (2024) · Zenodo
New Foundations for Separation Logic
Hans-Dieter A. Hiep (2024)
Pentaho Data Integration and Analytics: Ingest, integrate and analyze
Hitachi Vantara (2024)
Analysis of Attack Methods with Artificial Intelligence
Dieter Holstein (2024) · Esslingen University
RTL2MuPATH: Multi-uPATH Synthesis with Applications to Hardware Security Verification
Yao Hsiao and others (2024)
Late Breaking Results: On the One-Key Premise of Logic Locking
Yinghua Hu and others (2024) · Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC 2024)
The Palantir Files: public interest archives for platform accountability
Andrew Iliadis and others (2024) · Informa UK Limited
Draft Report of the Internet of Things Advisory Board
Internet of Things Advisory Board (2024) · National Institute of Standards and Technology
Programming languages – C (ISO/IEC 9899:2024, C23)
JTC1/SC22/WG14 (2024) · ISO
Advancing VTR Flow: Integrating ABC9 via Yosys for Enhanced Technology Mapping and Optimization
N. Jafarof (2024) · University of New Brunswick
Enterprise architecture modeling for cybersecurity analysis in critical infrastructures — A systematic literature review
Y. Jiang and others (2024) · Elsevier BV
Randomized Testing of RISC-V CPUs Using Direct Instruction Injection
Alexandre Joannou and others (2024) · IEEE Design and Test
Scalable, Programmable and Dense: The HammerBlade Open-Source RISC-V Manycore
Dai Cheol Jung and others (2024) · ACM/IEEE International Symposium on Computer Architecture (ISCA)
Advanced Structural and Semi-Formal Verification Flow for Clock Domain Crossing (CDC) in Asynchronous Multiclock Systems
Diana Kalel (2024)
Enable Automation for Mobile Network Security Operations
J. Kämppi (2024)
Threats to Critical Infrastructure: A Survey
Bridget R. Kane and others (2024) · RAND Corporation · RAND Corporation
Power Efficient Multi-CDN Communication over Content Steering Server
B. Kara and others (2024) · ACM
Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
Daniela Kaufmann and others (2024)
A Comprehensive Survey on SmartNICs: Architectures, Development Models, Applications, and Research Directions
Elie Kfoury and others (2024) · IEEE Access
Assessing the Suitability of a 28nm European FPGA for CERN LHC Environments: An In-depth Radiation Qualification Study
Lars Koers and others (2024) · 2024 IEEE Radiation Effects Data Workshop (REDW) · IEEE
The Structuring of Enterprise Architecture Functions in Organizations: Towards a Systematic Theory
S. Kotusev and others (2024) · Springer Science and Business Media LLC
All about Delay-Tolerant Networking (DTN) Contributions to Future Internet
Georgios Koukis and others (2024) · Future Internet · MDPI AG
Fifth Generation Warfare: Dominating the Human Domain
Armin Krishnan (2024) · Routledge
Low-Earth orbit satellite constellations for global communication network connectivity
Eva Lagunas and others (2024) · Nature Reviews Electrical Engineering
Issuance Policies of Route Origin Authorization with a Single Prefix and Multiple Prefixes: A Comparative Analysis
Zetong Lai and others (2024) · The Science and Information Organization
Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale
James Larisch and others (2024) · ACM SIGCOMM Conference (SIGCOMM)
Specification and Verification of Strong Timing Isolation of Hardware Enclaves
S. Lau and others (2024) · ACM
Brandon's Semiconductor Simulator
Brandon Li (2024)
A Chisel Generator for Standardized 3-D Die-to-Die Interconnects
H. Liew and others (2024) · Institute of Electrical and Electronics Engineers (IEEE)
Optimization of Postselection in Quantum Algorithms: A Two-Way Quantum Computing Approach
Alex Linden and others (2024)
RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique
Shang Liu and others (2024) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Using Cocotb Framework During Different Stages of IC Design
M. Ludwiniak and others (2024) · IEEE
Pichon
M, (2024)
https : / / sanctionsmap
European Sanctions Map (2024)
Deception in double extortion ransomware attacks: An analysis of profitability and credibility
T. Meurs and others (2024) · Elsevier BV
Double-sided Information Asymmetry in Double Extortion Ransomware
T. Meurs and others (2024) · Research Square Platform LLC
Estimating The Number Of Unobserved Ransomware Attacks
T. Meurs and others (2024)
What to Do Against Ransomware? Evaluating Law Enforcement Interventions
T. Meurs and others (2024) · IEEE
Abstract Interpreters: A Monadic Approach to Modular Verification
Sébastien Michelland and others (2024) · Association for Computing Machinery (ACM)
From low-level fault modeling (of a pipeline attack) to a proven hardening scheme
Sébastien Michelland and others (2024) · 33rd ACM SIGPLAN International Conference on Compiler Construction (CC 2024)
The CURE to Vulnerabilities in RPKI Validation
Donika Mirdita and others (2024) · Internet Society
Sok: An introspective analysis of rpki security
Donika Mirdita and others (2024) · Available on arXiv
Statistical Static Timing Analysis of VLSI as the Statistics of Correlated Extremes
Dmytro Mishagli and others (2024)
Analogous Alignments: Digital "Formally" meets Analog
Hansa Mohanty and others (2024) · arXiv (Cornell University) · Cornell University
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
Gideon Mohr and others (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) · IEEE
A Fast and Efficient Graph-Based Methodology for Cell-Aware Model Generation
Gianmarco Mongelli and others (2024) · IEEE International Test Conference (ITC) · Institute of Electrical and Electronics Engineers
Mathematics: Signification and Significance
Clare Marie Moriarty (2024) · Berkeley's Doctrine of Signs · De Gruyter
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
Nicholas Mosier and others (2024) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
How Can Digital Twins Make Cities More Resilient? The Emerging Technology Creates Cities That Better Bounce Back from Disasters
Safder Nazir (2024)
Quantum Key Distribution with Post-Processing Driven by Physical Unclonable Functions
Georgios M. Nikolopoulos and others (2024) · Applied Sciences · MDPI AG
The NIST Cybersecurity Framework (CSF) 2.0
National Institute of Standards and Technology. (2024) · National Institute of Standards and Technology
Integrating Enterprise Architecture into Cybersecurity Risk Management in Higher Education
M. Nkambule and others (2024) · Academic Conferences and Publishing International Ltd
DoD Microelectronics: Field Programmable Gate Array Level of Assurance 1 Best Practices
National Security Agency (2024) · National Security Agency · National Security Agency
Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs
Karthik V. Nukala and others (2024) · Formal Methods in Computer-Aided Design (FMCAD 2024)
Into the Gray Zone: NATO Deterrence in a Graying and Multipolar World
Mark Benjamin Olmstead (2024) · Università degli Studi di Padova
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
Oussama Oulkaid and others (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) · IEEE
Survey of IP-based air-to-ground data link communication technologies
Sergun Özmen and others (2024) · Journal of Air Transport Management
AIP: Artificial Intelligence Platform
Palantir Technologies (2024)
Palantir AIP (brochure)
Palantir Technologies (2024)
Occamy: A 432-Core 28.1 DP-GFLOP/s/W 83% FPU Utilization Dual-Chiplet, Dual-HBM2E RISC-V-Based Accelerator for Stencil and Sparse Linear Algebra Computations with 8-to-64-bit Floating-Point Support in 12nm FinFET
Gianna Paulin and others (2024) · 2024 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) · IEEE
Terabit Networks Become Reality
Unattributed (2024) · Photonics Media
On the capacity of optical backbone networks
João J. O. Pires (2024) · Network
Doping: The Most Important Part of Making Semiconductors
ProjectsInFlight (2024) · YouTube · video
The Actual Reason Semiconductors Are Different From Conductors and Insulators
Projects in Flight (2024) · video
Introduction
Phrack Staff (2024) · Phrack Magazine
Open Source Analog ASIC Design: Entire Process
Psychogenic Technologies (2024) · YouTube · video
Advancing Quantum Computing with Formal Methods
Arend-Jan Quist and others (2024)
MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
S Ramprasath and others (2024)
Cross-Core Interrupt Detection: Exploiting User and Virtualized IPIs
Fabian Rauscher and others (2024) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
QED: Scalable Verification of Hardware Memory Consistency
Gokulan Ravi and others (2024)
Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design
A. Ray and others (2024) · ACM
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL
Lennart M. Reimann and others (2024) · 2024 International VLSI Symposium on Technology, Systems and Applications (VLSI TSA)
rsShadow: Shines a light in the darkness
Rola Security Solutions (2024)
The Multi-CDN Dilemma: Aggregated Edge Networks at Scale
Ben Rosenblum and others (2024) · SCTE TechExpo24
Fuzzerfly Effect: Hardware Fuzzing for Memory Safety
Mohamadreza Rostami and others (2024) · IEEE Security and Privacy
Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection
Mohamadreza Rostami and others (2024) · Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC 2024)
Risk, value, vitality: The moral economy of a global behavioural insurance platform
Jathan Sadowski and others (2024) · Economy and Society · Taylor & Francis
Efficient Workflow using Verilator for Processor Benchmarking in SystemC-based Automotive SoC Platforms
J. Sanwald and others (2024) · Proceedings of the DVConEU 2024
SAP Data Intelligence Cloud
SAP, (2024)
Accelerating Hardware Verification with Graph Models
Raghul Saravanan and others (2024)
The Emergence of Hardware Fuzzing: A Critical Review of its Significance
Raghul Saravanan and others (2024)
The Seeker's Dilemma: Realistic Formulation and Benchmarking for Hardware Trojan Detection
Amin Sarihi and others (2024)
MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs
Nilotpola Sarma and others (2024) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
The Tech Coup: How to Save Democracy from Silicon Valley
Marietje Schaake (2024) · Princeton University Press
Basilisk: An End-to-End Open-Source Linux-Capable RISC-V SoC in 130nm CMOS
Paul Scheffler and others (2024)
Rpki: Not perfect but good enough
Haya Schulmann and others (2024) · Available on arXiv
Platform Organizations and Fields: Exploring the Influence of Field Conditions on Platformization Processes
David Seibt (2024) · SAGE Publications
Roadmapping the next generation of silicon photonics
Sudip Shekhar and others (2024) · Nature Communications
Generative Artificial Intelligence, AI for Scientific Writing: A Literature Review
Jovan Shopovski (2024) · Preprints.org
Intelligent design automation in VLSI systems: Leveraging AI for future electronics applications
N.M. Shrirao (2024) · Proc. Eccsubmit Conf.
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
Gus Henry Smith and others (2024)
Cascade: CPU Fuzzing via Intricate Program Generation
Flavien Solt and others (2024) · 33rd USENIX Security Symposium (USENIX Security 24) · USENIX Association
This Is a Local Domain: On Amassing Country-Code Top-Level Domains from Public Data
Raffaele Sommese and others (2024) · Association for Computing Machinery (ACM)
Speedrunning 30yrs of lithography technology
Breaking Taps (2024) · YouTube · video
Deep Learning for Network Intrusion Detection in Virtual Networks
Daniel Spiekermann and others (2024) · Electronics · MDPI AG
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro and others (2024) · International Conference on Passive and Active Network Measurement · Springer
Analysis and Formal Specification of OpenJDK's BitSet
Andy S. Tatman and others (2024) · Integrated Formal Methods · Springer
Culsans: An Efficient Snoop-based Coherency Unit for the CVA6 Open Source RISC-V application processor
Riccardo Tedeschi and others (2024) · WiPiEC Journal - Works in Progress in Embedded Computing Journal
Security Implications and Mitigation Strategies in MPLS Networks
Ayush Thakur (2024)
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
Jérémy Thibault and others (2024) · ACM
Desiloization and its discontents: the politics of data storage in the age of platformization
Nanna Bonde Thylstrup and others (2024) · Informa UK Limited
Fault-resistant partitioning of secure CPUs for system co-verification against faults
Simon Tollec and others (2024) · IACR Transactions on Cryptographic Hardware and Embedded Systems
Formal verification of processor microarchitecture to analyze system security against fault attacks
Simon Tollec (2024)
TUM Info VIII: Publications
Chair of Network Architectures and Services, Technical University of Munich (2024)
Department of the Treasury
U.S, (2024)
Where is My Route? Enabling Source Routing in LEO Satellite Networks
Satvik Vemuganti and others (2024) · 2024 IEEE 99th Vehicular Technology Conference (VTC2024-Spring) · IEEE
SURF and Nomios collaboration for a more flexible and innovative network
Migiel de Vos (2024) · SURF
Evidence-based cybersecurity policy? A meta-review of security control effectiveness
Daniel Woods and others (2024) · Journal of Cyber Policy · Taylor & Francis
Chateda: A large language model powered autonomous agent for eda
H. Wu and others (2024) · IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.
Using Formal Verification to Evaluate Single Event Upsets in a RISC-V Core
Bing Xue and others (2024)
Programmable high-dimensional Hamiltonian in a photonic waveguide array
Yang Yang and others (2024) · Nature Communications · Springer Science and Business Media LLC
Thermal Image Tracking for Search and Rescue Missions with a Drone
Seokwon Yeom (2024) · Drones
Universal programmable waveguide arrays
Akram Youssry and others (2024) · IOP Publishing
Cheaper Precision Weapons: An Exploratory Study about the HESA Shahed 136
Daniel Zampronha and others (2024) · Advances in Aerospace Science and Technology · Scientific Research Publishing, Inc.
Continuous-variable quantum key distribution system: Past, present, and future
Yichen Zhang and others (2024) · Applied Physics Reviews · American Institute of Physics
Energy-efficient computing at cryogenic temperatures
Cezar Zota and others (2024) · Nature Electronics · Nature Portfolio
Formal Resilience Metric Characterization in Complex Digital Systems
Damiano Zuccalà and others (2024) · Proceedings/Proceedings - European Test Workshop · Institute of Electrical and Electronics Engineers