2019
334 references published this year.
Abhishta
A, (2019)
Measuring the Impact of a Successful DDoS Attack on the Customer Behaviour of Managed DNS Service Providers
A. Abhishta and others (2019) · ACM
Victim Routine Influences the Number of DDoS Attacks: Evidence from Dutch Educational Network
A. Abhishta and others (2019) · IEEE
Smokestack: Thwarting DOP Attacks with Runtime Stack Layout Randomization
Misiker Tadesse Aga and others (2019) · 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) · IEEE
The US Military
K. H. Ahn and others (2019) · F-35 JSF and Military Transformation: American Militarism during the Post-Cold War Era (pp. 18–36). Asan Institute for Policy Studies. http://www.jstor.org/stable/resrep20918.7
OpenROAD: Toward a self-driving, open-source digital layout implementation tool chain
T. Ajayi and others (2019) · Proceedings of the Government Microcircuit Applications and Critical Technology Conference
Toward an Open-Source Digital Flow: First Learnings from the OpenROAD Project
Tutu Ajayi and others (2019) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Port Contention for Fun and Profit
Alejandro Cabrera Aldaya and others (2019) · IEEE
Of “Working Ontologists” and “High-Quality Human Components”: The Politics of Semantic Infrastructures
Doris Allhutter (2019) · Princeton University Press
LSAR: Multi-UAV Collaboration for Search and Rescue Missions
Ebtehal T. Alotaibi and others (2019) · IEEE Access
A survey on advanced persistent threats: Techniques, solutions, challenges, and research opportunities
Adel Alshamrani and others (2019) · IEEE Communications Surveys & Tutorials
Resiliency under Strategic Foresight: The effects of Cybersecurity Management and Enterprise Risk Management Alignment
Abraham Althonayan and others (2019) · 2019 International Conference on Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA) · IEEE
Interpolating Strong Induction
Hari Govind Vediramana Krishn an and others (2019) · Springer International Publishing
Verifying the DPLL Algorithm in Dafny
Cezar-Constantin Andrici and others (2019) · Electronic Proceedings in Theoretical Computer Science
Spontaneous perception of numerosity in pre-school children
G. Anobile and others (2019) · The Royal Society
A Guide to Experiments in Quantum Optics
Unattributed (2019) · Wiley
How to kill symbolic deobfuscation for free
——, (2019) · 35th Annual Computer Security Applications Conference
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
Alasdair Armstrong and others (2019) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Quantum supremacy using a programmable superconducting processor
Frank Arute and others (2019) · Springer Science and Business Media LLC
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs
Mihail Asăvoae and others (2019) · Lecture notes in computer science · Springer Science+Business Media
The Misuse of Gender Dysphoria: Toward Greater Conceptual Clarity in Transgender Health
Florence Ashley (2019) · Perspectives on Psychological Science · SAGE Publications
A review on software defined network security risks and challenges
Tsehay Admassu Assegie and others (2019) · TELKOMNIKA (Telecommunication Computing Electronics and Control) · Ahmad Dahlan University
Leveraging rust types for modular specification and verification
Vytautas Astrauskas and others (2019) · Association for Computing Machinery (ACM)
The State of European Tech 2019
Atomico, (2019)
Verific’s parser platform
V. D. Automation (2019) · 2019.
Cyber Kill Chain-Based Taxonomy of Advanced Persistent Threat Actors: Analogy of Tactics, Techniques, and Procedures
P. Bahrami and others (2019) · Journal of Information Processing Systems 15.4
How to Model Enterprise Risk Management and Security with the ArchiMate ® Language
I. Band and others (2019)
An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications
Utsav Banerjee and others (2019) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Forward with separation logic
Callum Bannister (2019)
SpecShield: Shielding Speculative Data from Microarchitectural Covert Channels
Kristin Barber and others (2019) · IEEE
Nist special publication 800-131a revision 2: Transitioning the use of cryptographic algorithms and key lengths
E. Barker and others (2019) · National Institute of Standards and Technology, Tech. Rep. 800-131A Revision 2
Automatic Certificate Management Environment (ACME)
R. Barnes and others (2019) · RFC Editor
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci and others (2019) · Tools and Algorithms for the Construction and Analysis of Systems · Springer International Publishing
Analysis and Optimization of the Memory Hierarchy for Graph Processing Workloads
A. Basak and others (2019) · IEEE
A meta-model for software protections and reverse engineering attacks
Cataldo Basile and others (2019) · Journal of Systems and Software · Elsevier BV
On the hourglass model
Micah Beck (2019) · Communications of the ACM
Adopting Formal Methods in an Industrial Setting: The Railways Case
Maurice H. ter Beek and others (2019) · Springer International Publishing
Towards Modern Air-to-Air Communications: the LDACS A2A Mode
Miguel A. Bellido-Manganell and others (2019) · 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC) · IEEE
A Common Sense View of Knowledge Graphs
Mike Bergman (2019)
Flot de conception et modèles formels pour la désynchronisation de circuits synchrones
François Bertrand (2019)
SMoTherSpectre: Exploiting Speculative Execution through Port Contention
A. Bhattacharyya and others (2019) · ACM
A Fundamental Approach to Cyber Risk Analysis
Rainer Bhme and others (2019) · Variance
Verifying OpenJDK's LinkedList using KeY: Video
J. Bian and others (2019) · figshare
ROBOKOP KG and KGB: Integrated Knowledge Graphs from Federated Sources
Chris Bizon and others (2019) · American Chemical Society (ACS)
d
T. Bögl and others (2019) · Einden
The transboundary crisis: Why we are unprepared and the road ahead
Arjen Boin (2019) · Journal of Contingencies and Crisis Management
19.6 A 40-to-80MHz Sub-4μW/MHz ULV Cortex-M0 MCU SoC in 28nm FDSOI With Dual-Loop Adaptive Back-Bias Generator for 20μs Wake-Up From Deep Fully Retentive Sleep Mode
David Bol and others (2019) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Generalization of the Landauer Principle for Computing Devices Based on Many-Valued Logic
Edward Bormashenko (2019) · Entropy · MDPI AG
Mi6: Secure enclaves in a speculative out-of-order processor
T. Bourgeat and others (2019) · Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture
nuXmv User Manual
Marco Bozzano and others (2019) · Fondazione Bruno Kessler
Shaping the Glitch: Optimizing Voltage Fault Injection Attacks
Claudio Bozzato and others (2019) · Universitatsbibliothek der Ruhr-Universitat Bochum
On the resilience of the Dark Net Market ecosystem to law enforcement intervention
C. Bradley (2019)
Fault attack vulnerability assessment of binary code
Jean-Baptiste Bréjon and others (2019)
Situational Crime Prevention
R. Brewer and others (2019) · Springer International Publishing
Bringing you the next-generation Google Assistant
Manuel Bronstein (2019)
Trappedion quantum computing: Progress and challenges
Colin D Bruzewicz and others (2019) · Applied Physics Reviews
A Uses and Gratifications Study of the Internet
Kristin Deann Butler (2019)
Quantum internet: Networking challenges in distributed quantum computing
Angela Sara Cacciapuoti and others (2019) · IEEE Network
A systematic evaluation of transient execution attacks and defenses
C. Canella and others (2019) · 28th USENIX Security Symposium (USENIX Security 19)
Design science research – a powerful tool for improving methods in engineering education research
Anna-Karin Carstensen and others (2019) · European Journal of Engineering Education · Taylor & Francis
To pay or not: game theoretic models of ransomware
E. Cartwright and others (2019) · Oxford University Press (OUP)
Ransomware and Reputation
A. Cartwright and others (2019) · MDPI AG
From ethane to SDN and beyond
M. Casado and others (2019) · Association for Computing Machinery (ACM)
A systematic literature review of blockchain-based applications: Current status, classification and open issues
Fran Casino and others (2019) · Elsevier BV
FaCT: a DSL for timing-sensitive computation
Sunjay Cauligi and others (2019) · ACM
Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge
Mariano Ceccato and others (2019) · Springer Science and Business Media LLC
Computing: A Concise History
Paul E. Ceruzzi (2019)
Correct Compilation of Relaxed Memory Concurrency
Soham Chakraborty (2019)
Deepfakes and the New Disinformation War: The Coming Age of Post-Truth Geopolitics
Robert Chesney and others (2019) · Foreign Affairs
A primarily serial, foveal accumulator underlies approximate numerical estimation
Samuel Cheyette and others (2019) · Proceedings of the National Academy of Sciences · National Academy of Sciences
BGP hijacking classification
Shinyoung Cho and others (2019) · IEEE
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer · Springer
RPKI is coming of age: A longitudinal study of RPKI deployment and invalid route origins
Taejoong Chung and others (2019) · ACM Internet Measurement Conference (IMC)
Lightweight hardware support for selective coherence in heterogeneous manycore accelerators
A. Cilardo and others (2019) · IEEE
Laser-induced Single-bit Faults in Flash Memory: Instructions Corruption on a 32-bit Microcontroller
Brice Colombier and others (2019) · IEEE
Toward Disaggregating the SDN Control Plane
Douglas E. Comer and others (2019) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
Hackers are making personalised ransomware to target the most profitable and vulnerable
L. Connolly and others (2019) · The Conversation Media Group Ltd
The rise of crypto-ransomware in a changing cybercrime landscape: Taxonomising countermeasures
L. Connolly and others (2019) · Elsevier BV
How Could They Not: Thinking Like a State Cyber Threat Actor
Gregory Conti and others (2019) · United States Military Academy Library
The Coq proof assistant reference manual, version 8.10.1
The Coq Development Team (2019) · Oct. 2019: https://coq.inria.fr/
Norm entrepreneurship and diffusion ‘from below’ in international organisations: How the competent performance of vulnerability generates benefits for small states
Jack Corbett and others (2019) · Cambridge University Press (CUP)
Intel 64 and IA-32 architectures software developer’s manual combined volumes: 1, 2a, 2b, 2c, 2d, 3a, 3b, 3c, 3d and 4.
Intel Corporation (2019)
CheriABI: Enforcing valid pointer provenance and minimizing pointer privilege in the POSIX C run-time environment
Brooks Davis and others (2019) · ASPLOS 2019: Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems
Crime scripting: A systematic review
Hashem Dehghanniri and others (2019) · European Journal of Criminology · SAGE Publishing
Hardfails: Insights into software-exploitable hardware bugs
G. Dessouky and others (2019) · USENIX Conference on Security Symposium
Determinants of reporting cybercrime: A comparison between identity theft, consumer fraud, and hacking
S. G. Van de Weijer and others (2019) · SAGE Publications
Towards an Integration of Information Security Management, Risk Management and Enterprise Architecture Management – A Literature Review
T. Diefenbach and others (2019) · IEEE
Regulating Big Tech makes them stronger, so they need competition instead
Cory Doctorow (2019)
Electromagnetic Fault Injection : How Faults Occur
Mathieu Dumont and others (2019) · IEEE
Experimental Analysis of the Laser-Induced Instruction Skip Fault Model
Jean-Max Dutertre and others (2019) · Lecture notes in computer science · Springer Science+Business Media
Nist special publication 800-67 revision 2: Recommendation for the triple data encryption algorithm (tdea) block cipher
M. Dworkin (2019) · National Institute of Standards and Technology, Tech. Rep. 800-67 Revision 2
Compositional Dataflow Circuits
Stephen A. Edwards and others (2019) · ACM Transactions on Embedded Computing Systems · Association for Computing Machinery
The FHW Project: High-level Hardware Synthesis from Haskell Programs
Stephen A. Edwards (2019) · New York, New York, USA
Predictive Policing and the Platformization of Police Work
Simon Egbert (2019) · Queen's University Library
Insights into the mind of a trojan designer: the challenge to integrate a trojan into the bitstream
Maik Ender and others (2019) · Asia and South Pacific Design Automation Conference (ASP-DAC)
Dynamic Games in Cyber-Physical Security: An Overview
S. Rasoul Etesami and others (2019) · Dynamic Games and Applications · Birkhäuser
Automating Inequality: How High-Tech Tools Profile, Police, and Punish the Poor
Virginia Eubanks (2019) · Picador St. Martin’s Press
ED-262 - Technical Standard of Aviation Profiles for ATN/IPS
EUROCAE, (2019) · Technical Report ED-262
Air Traffic Control
FAA, (2019) · Technical Report JO 7110.65Y
Cyber risk research impeded by disciplinary barriers
Gregory J. Falco and others (2019) · Science · American Association for the Advancement of Science
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Gang Fan and others (2019) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Weaponized Interdependence: How Global Economic Networks Shape State Coercion
Henry Farrell and others (2019) · MIT Press
The Square and the Tower: Networks and Power, from the Freemasons to Facebook
Niall Ferguson (2019)
Survey on Formal Methods and Tools in Railways Technical Report on the activities performed within ASTRail, Deliverable D4.1
Alessio Ferrari (2019) · Zenodo
‘Designing out’ cyber threats to businesses and personal data
Department for Business and others (2019)
Quine's New Foundations
Thomas Forster (2019) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
Enterprise Risk Management (ERM): Key Risks, Responses and Applications
G. Francis (2019) · 2019 Enterprise Risk Management Symposium. https://www.soa.org/globalassets/assets/files/resources/essays-monographs/2019-ermsymposium/mono-2019-erm-francis.pdf#page=4.09
Stringhini
G, (2019)
(Ideo)Logical Reasoning: Ideology Impairs Sound Reasoning
Anup Gampa and others (2019) · Social Psychological and Personality Science · SAGE Publications
Photonics and Fiber Optics: Foundations and Applications
Tarun Kumar Gangopadhyay and others (2019) · CRC Press
Reflections on Bernhard Steffen’s Physics of Software Tools
Hubert Garavel and others (2019) · Lecture notes in computer science · Springer Science+Business Media
SATURN - Software Deobfuscation Framework Based On LLVM
Peter Garba and others (2019) · ACM Workshop on Software Protection (SPRO) · Association for Computing Machinery
Measuring BGP Route Propagation Times
Alberto García-Martínez and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
Time Protection: The Missing OS Abstraction
Qian Ge and others (2019) · Proceedings of the Fourteenth EuroSys Conference · Association for Computing Machinery
Simple and precise static analysis of untrusted Linux kernel extensions
Elazar Gershuni and others (2019) · Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation · ACM
Rebalancing cybersecurity imperatives: patching the social layer
David V. Gioe and others (2019) · Journal of Cyber Policy
Runtime reconfigurable memory hierarchy in embedded scalable platforms
Davide Giri and others (2019) · Asia and South Pacific Design Automation Conference (ASP-DAC)
New opportunities for integrated formal methods
Mario Gleirscher and others (2019) · ACM Computing Surveys (CSUR)
Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction
Aman Goel and others (2019) · Lecture notes in computer science · Springer Science+Business Media
Verifying x86 Instruction Implementations
S. Goel and others (2019) · arXiv
The Original Sin of Free Software
Daniel Goldsmith (2019)
CIF3 models used in the T-AC 2019 paper
M. A. Goorden and others (2019) · url: https : //github
DSM-based Analysis for the Recognition of Modeling Errors in Supervisory Controller Design
M. A. Goorden and others (2019)
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis
Martijn A. Goorden and others (2019) · Lecture notes in computer science · Springer Science+Business Media
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure
M. A. Goorden and others (2019) · IEEE
Supervisory control synthesis for large-scale infrastructural systems
Martijn A. Goorden (2019)
No synthesis needed, we are alright already
Martijn A. Goorden and others (2019) · IEEE International Conference on Automation Science and Engineering (CASE)
What is platform governance?
Robert Gorwa (2019) · Informa UK Limited
Verifying OpenJDK's Sort Method for Generic Collections
Stijn de Gouw and others (2019) · Journal of Automated Reasoning · Springer
Willingness to report crime to the police: Traditional crime, cybercrime, and procedural justice
A. Graham and others (2019) · Policing: An International Journal
An Air Traffic Management Data Traffic Pattern for Aeronautical Communication System Evaluations
T. Gräupl and others (2019) · IEEE
FACTS2: Framework for Aeronautical Communications and Traffic Simulations 2
T. Gräupl and others (2019) · Proceedings of the 16th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks
NATO’S KOSOVO INTERVENTION IN OVERVIEW
T. Gromes (2019) · A HUMANITARIAN MILESTONE?: NATO’S 1999 INTERVENTION IN KOSOVO AND TRENDS IN MILITARY RESPONSES TO MASS VIOLENCE (pp. 3–8). Peace Research Institute Frankfurt. http://www.jstor.org/stable/resrep19997.5
Messaging Before the Internet—Early Electrical Telegraphs [Historical]
Massimo Guarnieri (2019) · IEEE Industrial Electronics Magazine · IEEE
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Reiner Hähnle and others (2019) · Lecture notes in computer science · Springer Science+Business Media
NIH-funded project aims to build a ’Google’ for biomedical data
Ruth Hailu (2019)
The Planetary Test
Orit Halpern (2019) · Zeitschrift für Medien- und Kulturforschung · Felix Meiner Verlag GmbH
High-performance hybrid silicon and lithium niobate Mach–Zehnder modulators for 100 Gbit s−1 and beyond
Mingbo He and others (2019) · Springer Science and Business Media LLC
A new golden age for computer architecture
John L. Hennessy and others (2019) · Communications of the ACM · Association for Computing Machinery
Formally verified software countermeasures for control-flow integrity of smart card C code
Karine Heydemann and others (2019) · Computers & Security · Elsevier BV
Verifying OpenJDK's LinkedList using KeY: Proof Files
Hans-Dieter A. Hiep and others (2019) · Figshare · Figshare (United Kingdom)
Analysis
A. G. Hill (2019) · The Ultimate Challenge: Attribution for Cyber Operations (pp. 13–24). Air University Press. http://www.jstor.org/stable/resrep24884.7
Modern microprocessor built from complementary carbon nanotube transistors
Gage Hills and others (2019) · Nature · Nature Portfolio
Functional Obfuscation of Hardware Accelerators through Selective Partial Design Extraction onto an Embedded FPGA
Bo Hu and others (2019) · ACM Great Lakes Symposium on VLSI (GLSVLSI)
Design and Implementation of Ternary Logic Integrated Circuits by Using Novel Two-Dimensional Materials
Mingqiang Huang and others (2019) · Applied Sciences · MDPI AG
Commandant’s Planning Guidance
Headquarters, US Marine Corps (2019) · US Department of Defense
DIY Photolithography using 1980s Carl Zeiss S-Planar Lens (405nm)
Huygens Optics (2019) · YouTube · video
Doc 10044 - Manual on the Aeronautical Mobile Airport Communications System (AeroMACS)
ICAO, (2019) · ICAO Doc 10044, International Civil Aviation Organization (ICAO)
DOC 9750 - Global Air Navigation Plan
ICAO, (2019) · ICAO Doc 9750, International Civil Aviation Organization (ICAO)
LDACS White Paper–A Roll-out Scenario
ICAO, (2019) · ICAO ACP-DCIWG IP01, International Civil Aviation Organization (ICAO)
IEEE Standard for VHDL Language Reference Manual
Unattributed (2019) · IEEE
Airborne Satellite CNS Systems and Networks
S. D. Ilčev (2019) · Springer International Publishing
Scheduling Workloads of Workflows in Clusters and Clouds
Alexey Ilyushkin (2019) · Delft University of Technology
IoT 2019 in review
IoT Analytics (2019) · Accessed on February 11
Following the cyber money trail: Global challenges when investigating ransomware attacks and how regulation can help
A. S. Irwin and others (2019) · Emerald
Formal fault injection vulnerability detection in binaries: a software process and hardware validation
Nisrine Jafri (2019)
Efficient reliability evaluation of combinational and sequential logic circuits
H. Jahanirad (2019) · Springer Science and Business Media LLC
Strengthening NATO’s readiness through coalitions
K. Jans (2019)
The All-Purpose Sword: North Korea's Cyber Operations and Strategies
Kong Ji-Young and others (2019) · IEEE
Speculative Dataflow Circuits
Lana Josipović and others (2019) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
A Survey on Data Plane Flexibility and Programmability in Software-Defined Networking
Enio Kaljić and others (2019) · IEEE Access · Institute of Electrical and Electronics Engineers
Seamless SoC Verification Using Virtual Platforms: An Industrial Case Study
Kyungsu Kang and others (2019) · Design, Automation, and Test in Europe
Minds at War: China's Pursuit of Military Advantage through Cognitive Science and Biotechnology
Elsa B. Kania (2019) · PRISM
Defeating Cisco Trust Anchor: A Case-Study of Recent Advancements in Direct FPGA Bitstream Manipulation
J. Kataria and others (2019) · 13th USENIX Workshop on Offensive Technologies (WOOT 19)
Interoperability: The Critical Enabler in the Anti-Access Area-Denial Fight?
Timothy D. Keithley (2019) · Marine Corps University, Command and Staff College
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
Model checking for weakly consistent libraries
Michalis Kokologiannakis and others (2019) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
On Custom LUT-based Obfuscation
Gaurav Kolhe and others (2019) · ACM
Enterprise architecture and enterprise architecture artifacts: Questioning the old concept in light of new findings
Svyatoslav Kotusev (2019) · Journal of Information Technology · SAGE Publications
Cybercrime and Cybersecurity in Africa
Nir Kshetri (2019) · Informa UK Limited
Future Satellite Communications Data Link in SESAR 2020 and ESA Iris Programme
Stefano La Barbera and others (2019) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
Discrete Event Systems: Modeling, Observation, and Control
S. Lafortune (2019) · Annual Reviews
Method Framework for Developing Enterprise Architecture Security Principles
S. Larno and others (2019) · Riga Technical University
Cross-layer analysis of software fault models and countermeasures against hardware fault attacks in a RISC-V processor
Johan Laurent and others (2019) · Elsevier BV
Fault Injection on Hidden Registers in a RISC-V Rocket Processor and Software Countermeasures
Johan Laurent and others (2019) · 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) · IEEE
VHF Data Exchange System (VDES): an enabling technology for maritime communications
Francisco Lázaro and others (2019) · CEAS Space Journal
On the role of knowledge graphs in explainable AI
Freddy Lecue (2019) · SAGE Publications
19.2 A 6.4pJ/Cycle Self-Tuning Cortex-M0 IoT Processor Based on Leakage-Ratio Measurement for Energy-Optimal Operation Across Wide-Range PVT Variation
J. Lee and others (2019) · IEEE
Cybercrime, money mules and situational crime prevention: Recruitment, motives and involvement mechanisms
Rutger Leukfeldt and others (2019) · Routledge
Probabilistic Verification for Reliable Network-on-Chip System Design
Benjamin Lewis and others (2019) · Formal Methods for Industrial Critical Systems · Springer
Dynamic Packet Forwarding Verification in SDN
Q. Li and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
How Ransomware Attacks
M. Loman (2019)
A Proof-Producing Translator for Verilog Development in HOL
Andreas Loow and others (2019) · 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) · IEEE
Verified compilation on a verified processor
Andreas Lööw and others (2019) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
As hegemony: A robust metric for as centrality
Matthew Luckie and others (2019) · Proceedings of the ACM SIGCOMM 2019 Conference
The Engineering of Climate Engineering
Douglas G. MacMartin and others (2019) · Annual Review of Control, Robotics, and Autonomous Systems · Annual Reviews
Technocolonialism: Digital Innovation and Data Practices in the Humanitarian Response to Refugee Crises
Mirca Madianou (2019) · Social Media + Society · SAGE Publications
Myanmar’s Role in China’s Maritime Silk Road Initiative
J. Mohan Malik (2019) · Springer Nature
An in-depth look into SDN topology discovery mechanisms: Novel attacks and practical countermeasures
E. Marin and others (2019) · Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Protocols, Not Platforms: A Technological Approach to Free Speech
Mike Masnick (2019)
Matlab
Mathworks, (2019) · url: https://www
Call Sign Chaos: Learning to Lead
Jim Mattis and others (2019) · Random House
Evaluation of the LDACS Cybersecurity Implementation
N. Mäurer and others (2019) · IEEE
Towards Successful Realization of the LDACS Cybersecurity Architecture: An Updated Datalink Security Threat- And Risk Analysis
Nils Maurer and others (2019) · 2019 Integrated Communications, Navigation and Surveillance Conference (ICNS) · IEEE
An integrated conceptual model for information system security risk management supported by enterprise architecture management
N. Mayer and others (2019) · Springer Science and Business Media LLC
Thoughts on load distribution and the role of programmable switches
James McCauley and others (2019) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
Taming Anycast in the Wild Internet
Stephen McQuistin and others (2019) · Proceedings of the Internet Measurement Conference · ACM
An Energy-Efficient Graphics Processor in 14-nm Tri-Gate CMOS Featuring Integrated Voltage Regulators for Fine-Grain DVFS, Retentive Sleep, and \({V}_{\text{MIN}}\) Optimization
P. A. Meinerzhagen and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
Exploring C semantics and pointer provenance
Kayvan Memarian and others (2019) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Introducing SmartNICs in Server-Based Data Plane Processing: The DDoS Mitigation Use Case
Sebastiano Miano and others (2019) · IEEE Access · Institute of Electrical and Electronics Engineers
Securing Linux with a faster and scalable iptables
S. Miano and others (2019) · Association for Computing Machinery (ACM)
Trends, challenge, and shifts in software vulnerability mitigation
Matt Miller (2019)
Software Defined Networks
Vinod K. Mishra (2019)
MemJam: A False Dependency Attack Against Constant-Time Crypto Implementations
Ahmad Moghimi and others (2019) · Springer Science and Business Media LLC
Gaining competitive advantage in the gray zone: Response Options for Coercive Aggression Below the Threshold of Major War
L. J. Morris and others (2019)
Foundry Developments Toward Silicon Nitride Photonics From Visible to the Mid-Infrared
Pascual Muñoz and others (2019) · IEEE Journal of Selected Topics in Quantum Electronics · IEEE Photonics Society
RowHammer: A Retrospective
Onur Mutlu and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
Hassan
N, (2019)
Prefix top lists: Gaining insights with prefixes from domain-based top lists on dns deployment
Johannes Naab and others (2019) · Proceedings of the Internet Measurement Conference
Full-Speed Fuzzing: Reducing Fuzzing Overhead through Coverage-Guided Tracing
Stefan Nagy and others (2019) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Down the black hole: dismantling operational practices of bgp blackholing at ixps
Marcin Nawrocki and others (2019) · Proceedings of the Internet Measurement Conference
Understanding searches better than ever before
Pandu Nayak (2019)
Integrating biomedical research and electronic health records to create knowledge-based biologically meaningful machine-readable embeddings
Charlotte A. Nelson and others (2019) · Springer Science and Business Media LLC
Scaling symbolic evaluation for automated verification of systems code with Serval
Luke Nelson and others (2019) · ACM
Power-Down Mode Verification for Hierarchical Analog Circuits
Maximilian Neuner and others (2019) · IEEE
Forvis: A formal RISC-V ISA specification
Rishiyur S. Nikhil and others (2019) · https: //github.com/rsnikhil/Forvis_RISCV-ISA-Spec
Secure inter-domain routing: Technical and policy considerations
National Institute of Standards and others (2019) · Technical Report Special Publication 800-189 (Draft)
Industry-scale Knowledge Graphs: Lessons and Challenges
Natasha Noy and others (2019) · Association for Computing Machinery (ACM)
NSF Convergence Accelerator awards bring together scientists, businesses, nonprofits to benefit workers
National Science Foundation (2019)
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
What Phishing E-mails Reveal: An Exploratory Analysis of Phishing Attempts Using Text Analyzes
D. O’Leary (2019) · Elsevier BV
Obfuscation: where are we in anti-DSE protections?(a first attempt)
M. Ollivier and others (2019) · Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering
Algorithms as Medical Devices
Johan Ordish and others (2019)
Feasibility Demonstration of Terrestrial RNP with LDACS
Okuary Osechas and others (2019) · Proceedings of the Satellite Division's International Technical Meeting (Online)/Proceedings of the Satellite Division's International Technical Meeting (CD-ROM)
Hidden Risks to Cyberspace Security from Obsolete COTS Software
Barış Egemen Özkan and others (2019) · 2019 11th International Conference on Cyber Conflict: Silent Battle · NATO CCD COE Publications
Malaysia in 2018: The Year of Voting Dangerously
Geoffrey K. Pakiam (2019) · ISEAS - Yusof Ishak Institute
A Tale of Two Injectors: End-to-End Comparison of IR-Level and Assembly-Level Fault Injection
Lucas Palazzi and others (2019) · IEEE International Symposium on Software Reliability Engineering (ISSRE)
Ransomware payments in the Bitcoin ecosystem
M. Paquet-Clouston and others (2019) · Oxford University Press (OUP)
A Brief History of Digital Communications
Michael D. Patrick (2019) · Springer Nature
A Comparative Analysis of Student Performance in an Online vs. Face-to-Face Environmental Science Course From 2009 to 2016
Jasmine Paul and others (2019) · Frontiers Media SA
Re-creating the sigsaly quantizer: This 1943 analog-to-digital converter gave the allies an unbreakable scrambler - [Resources]
Jon D. Paul (2019) · Institute of Electrical and Electronics Engineers (IEEE)
Targeted interoperability: A New Imperative for Multinational Operations
C. G. Pernin and others (2019)
Computer Networks: A Systems Approach
L. Peterson and others (2019)
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham and others (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings · Springer
ICNS 2019 Panel Discussion
B. Phillips and others (2019) · IEEE
Mining Missing Assumptions from Counter-Examples
G. Plassan and others (2019) · Association for Computing Machinery (ACM)
A Survey on Recent Advances in Transport Layer Protocols
Michele Polese and others (2019) · IEEE Communications Surveys & Tutorials
A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective
Julien Proy and others (2019) · ACM
Promising-ARM/RISC-V: a simpler and faster operational concurrency model
Christopher Pulte and others (2019) · ACM
The Semantics of Multicopy Atomic ARMv8 and RISC-V
Christopher Pulte (2019)
Why Separation Logic Works
David Pym and others (2019) · Philosophy & Technology · Springer
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models
Azalea Raad and others (2019) · Association for Computing Machinery (ACM)
Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer
Colin Raffel and others (2019) · arXiv (Cornell University) · Cornell University
Get Rid of Inline Assembly through Verification-Oriented Lifting
Frédéric Recoules and others (2019) · IEEE
Security assurance against cybercrime ransomware
Habib ur Rehman and others (2019) · International Conference on Intelligent Computing & Optimization (ICO) · Springer
Defining interfaces between hardware and software: Quality and performance
Alastair Reid (2019)
Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex
F. F. H. Reijnen and others (2019) · IEEE
Supervisory control synthesis for a lock-bridge combination
F. F. H. Reijnen and others (2019) · submitted
Complete spatial safety for C and C++ using CHERI capabilities
Alexander Richardson (2019)
Towards a Coq-verified Chain of Esterel Semantics
Lionel Rieg and others (2019) · HAL · Centre pour la Communication Scientifique Directe
Jaarbericht Rijkswaterstaat 2018
Rijkswaterstaat, (2019) · Tech
Basisspecificatie Vaste brug, versie 4.0.4
H. Rijnen (2019) · Tech
Introduction to Static Analysis: An Abstract Interpretation Perspective
Xavier Rival and others (2019)
Automatic Tool for Fast Generation of Custom Convolutional Neural Networks Accelerators for FPGA
M. Rivera-Acosta and others (2019) · MDPI AG
DO-253D, Change 1, Minimum Operational Performance Standards for GPS Local Area Augmentation System Airborne Equipment
RTCA, (2019) · Technical Report DO-253D
DO-262D, Minimum Operational Performance Standards for Avionics Supporting Next Generation Satellite Systems (NGSS)
RTCA, (2019) · Technical Report DO- 262D
DO-358A, Minimum Operational Performance Standards (MOPS) for Flight Information Services Broadcast (FIS-B) with Universal Access Transceiver (UAT)
RTCA, (2019) · Technical Report DO-358A
DO-379, Internet Protocol Suite Profiles
RTCA, (2019) · Technical Report DO-379
Cyber Risk Management: A New Era of Enterprise Risk Management
K. Ruan (2019) · Elsevier
The RISC-V Instruction Set Manual, Volume I: User-Level ISA, document version 20191213.
RISC-V Foundation (2019)
Examination of explicit definitions of enterprise architecture
P. Saint-Louis and others (2019) · SAGE Publications
Efficient invisible speculative execution through selective delay and value prediction
Christos Sakalis and others (2019) · Proceedings - International Symposium on Computer Architecture/Proceedings
A survey of electromagnetic side-channel attacks and discussion on their case-progressing potential for digital forensics
Asanka Sayakkara and others (2019) · Digital Investigation · Elsevier BV
RIDL: Rogue In-Flight Data Load
Stephan van Schaik and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
PEERING: Virtualizing BGP at the Edge for Research
Brandon Schlinker and others (2019) · Proceedings of the 15th International Conference on Emerging Networking Experiments And Technologies, Orlando, FL, December 2019.
NetSpectre: Read Arbitrary Memory over Network
Michael Schwarz and others (2019) · Lecture notes in computer science · Springer Science+Business Media
ZombieLoad: Cross-Privilege-Boundary Data Sampling
Michael Schwarz and others (2019) · Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security · ACM
SOS: Standard-Compliant and Packet Loss Tolerant Security Framework for ADS-B Communications
Savio Sciancalepore and others (2019) · IEEE Transactions on Dependable and Secure Computing · IEEE Computer Society
Yosys+nextpnr: An Open Source Framework from Verilog to Bitstream for Commercial FPGAs
David Shah and others (2019) · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)
Deterrence and Defense at the Eastern Flank of NATO and the EU: Readiness and Interoperability in the Context of Forward Presence
V. Shalamanov and others (2019) · Connections
HPC Interconnects at the End of Moore's Law
John Shalf (2019) · Optical Fiber Communication Conference · Optica Publishing Group
On the Impossibility of Approximation-Resilient Circuit Locking
Kaveh Shamsi and others (2019) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
Security Analysis of Processor Instruction Set Architecture for Enforcing Control-Flow Integrity
V. Shanbhogue and others (2019) · ACM
The History, Present and Future with IoT
Neha Sharma and others (2019) · Intelligent systems reference library · Springer Nature
Design Obfuscation through Selective Post-Fabrication Transistor-Level Programming
M. M. Shihab and others (2019) · IEEE
WhiteRabbit: Scalable Software-Defined Network Data-Plane Verification Method Through Time Scheduling
T. Shimizu and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
Runtime Verification of P4 Switches with Reinforcement Learning
A. Shukla and others (2019) · ACM Press
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
"I was told to buy a software or lose my computer. I ignored it
C. Simoiu and others (2019) · : A study of ransomware’
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
Lau Skorstengaard and others (2019) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Photonic quantum information processing: A concise review
Sergei Slussarenko and others (2019) · Applied Physics Reviews
Past, present, and future of InP-based photonic integration
Meint Smit and others (2019) · APL Photonics · AIP Publishing
Tools and Weapons: the Promise and the Peril of the Digital Age
Brad Smith and others (2019)
Letter from 28 Professors and 48 Graduate Students of UCLA to LAPD
Stop LAPD Spying Coalition (2019)
Application of AI in the NAS – the Rationale for AI-Enhanced Airspace Management
Ronald L. Stroup and others (2019) · 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC) · IEEE
Linear capabilities for fully abstract compilation of separation-logic-verified code
Thomas Van Strydonck and others (2019) · Association for Computing Machinery (ACM)
A safer digital future, by design
Richard Grisenthwaite (SVP and others (2019)
Low-level program verification under cached address translation
Hira Taqdees Syeda (2019)
Interpreting the Interoperability of the Nato’s Communication and Information Systems
S. Szeleczki (2019) · Walter de Gruyter GmbH
The verified CakeML compiler backend
Yong Kiam Tan and others (2019) · Cambridge University Press (CUP)
A Study on Switch Block Patterns for Tileable FPGA Routing Architectures
X. Tang and others (2019) · IEEE
Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata
A. Tarraf and others (2019) · IEEE
Completeness and expressiveness of pointer program verification by separation logic
Makoto Tatsuta and others (2019) · Information and Computation · Elsevier
Software tools
Technical Committee On Discrete Event Systems (2019) · url: http: //discrete-event-systems
Profiling BGP Serial Hijackers: Capturing Persistent Misbehavior in the Global Routing Table
Cecilia Testart and others (2019) · ACM
Preacher: Network Policy Checker for Adversarial Environments
Kashyap Thimmaraju and others (2019) · IEEE Symposium on Reliable Distributed Systems (SRDS) · Institute of Electrical and Electronics Engineers
A golden age of hardware description languages: Applying programming language techniques to improve design productivity
L. Truong and others (2019) · 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17
Fiscal Year 2020 Budget of the US Government
US Office of Management and Budget (2019) · The Office of The President of the United States
19.1 Computationally Enabled Total Energy Minimization Under Performance Requirements for a Voltage-Regulated 0.38-to-0.58V Microprocessor in 65nm CMOS
Fahim ur Rahman and others (2019) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Advanced Clocking and Power Management Techniques for Microprocessors
Fahim ur Rahman (2019)
A Unified Clock and Switched-Capacitor-Based Power Delivery Architecture for Variation Tolerance in Low-Voltage SoC Domains
Fahim ur Rahman and others (2019) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Bediening sluizen en bruggen Afsluitdijk
C. van Nieuwenhuizen (2019) · Tweede Kamer der Staten-Generaal
IODINE: Verifying constant-time execution of hardware
K. v. Gleissenthall and others (2019) · 28th USENIX Security Symposium (USENIX Security 19)
Mining software repositories for predictive modelling of defects in sdn controller
P. Vizarreta and others (2019) · 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). IEEE
The RISC-V instruction set manual, Volume I: Unprivileged ISA
A. Waterman and others (2019)
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 7)
Robert N. M. Watson and others (2019) · CL Technical Reports
Criminaliteit, digitalisering en de online sociale wereld: dezelfde processen in een nieuwe sociale context?
F. Weerman (2019) · Koninklijke Boom uitgevers
Oxide: The Essence of Rust
Aaron Weiss (2019) · arXiv
From Hack to Elaborate Technique—A Survey on Binary Rewriting
Matthias Wenzl and others (2019) · Association for Computing Machinery (ACM)
A 16nm 25mm2 SoC with a 54.5x Flexibility-Efficiency Range from Dual-Core Arm Cortex-A53 to eFPGA and Cache-Coherent Accelerators
Paul N. Whatmough and others (2019) · Symposium on VLSI Circuits
Leveraging Distributed Biomedical Knowledge Sources to Discover Novel Uses for Known Drugs
Finn Womack and others (2019)
Supervisory Control of Discrete-Event Systems
Walter Murray Wonham and others (2019)
CHERI Concentrate: Practical Compressed Capabilities
Jonathan Woodruff and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
Architecting Programmable Data Plane Defenses into the Network with FastFlex
Jiarong Xing and others (2019) · ACM Workshop on Hot Topics in Networks (HotNets)
Do Switches Dream of Machine Learning? Toward In-Network Classification
Zhaoqi Xiong and others (2019) · ACM Workshop on Hot Topics in Networks (HotNets)
Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World
Mengjia Yan and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
A Practical and Compatible Cryptographic Solution to ADS-B Security
H. Yang and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
The Additive-Area Heuristic: An Efficient but Illusory Means of Visual Area Approximation
Sami R. Yousif and others (2019) · Psychological Science · SAGE Publications
Data Oblivious ISA Extensions for Side Channel-Resistant and High Performance Computing
Jiyong Yu and others (2019) · Network and Distributed System Security Symposium
Speculative taint tracking (stt): A comprehensive protection for speculatively accessed data
J. Yu and others (2019) · Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-52)
Using Information Flow to Design an ISA that Controls Timing Channels
Drew Zagieboylo and others (2019) · 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) · IEEE
The Cost of Application-Class Processing: Energy and Performance Analysis of a Linux-Ready 1.7-GHz 64-Bit RISC-V Core in 22-nm FDSOI Technology
F. Zaruba and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)
CVA6 RISC-V CPU
F. Zaruba and others (2019)
The compositional architecture of the internet
Pamela Zave and others (2019) · Communications of the ACM · Association for Computing Machinery
Broadband electrooptic frequency comb generation in a lithium niobate microring resonator
Mian Zhang and others (2019) · Nature
Composable Building Blocks to Open up Processor Design
Sizhuo Zhang and others (2019) · IEEE Micro
A Survey on Malicious Domains Detection through DNS Data Analysis
Yury Zhauniarovich and others (2019) · ACM Computing Surveys
Hypertester: highperformance network testing driven by programmable switches
Y. Zhou and others (2019) · Proceedings of the 15th International Conference on Emerging Networking Experiments And Technologies
P4tester: efficient runtime rule fault detection for programmable data planes
Y. Zhou and others (2019) · Proceedings of the International Symposium on Quality of Service
On the Economic Impact of Crypto-ransomware Attacks: The State of the Art on Enterprise Systems
A. Zimba and others (2019) · Springer Science and Business Media LLC
The Age of Surveillance Capitalism: The Fight for a Human Future at the New Frontier of Power
Shoshana Zuboff (2019) · PublicAffairs