2013
257 references published this year.
Formal Analysis of Soft Errors using Theorem Proving
Naeem Abbasi and others (2013) · Electronic Proceedings in Theoretical Computer Science
Mathematical wit and mathematical cognition
Andrew Aberdein (2013) · Topics in Cognitive Science
Deadline-constrained workflow scheduling algorithms for Infrastructure as a Service Clouds
Saeid Abrishami and others (2013) · Future Generation Computer Systems · Elsevier BV
Behavioural contracts with request–response operations
Lucia Acciai and others (2013) · Science of Computer Programming · Elsevier BV
The Second Schleswig War, 1864 - Prelude, Events and Consequences
Inge Adriansen and others (2013)
Measuring the evolving Internet ecosystem with exchange points
Mohammad Zubair Ahmad (2013)
Optimum granularity level of modular product design architecture
T. AlGeddawy and others (2013) · Elsevier BV
Workload classification for efficient auto-scaling of cloud resources
A. Ali-Eldin and others (2013) · Technical report
A 4.6W/mm2 power density 86% efficiency on-chip switched capacitor DC-DC converter in 32 nm SOI CMOS
T. M. Andersen and others (2013) · IEEE
Measuring the Cost of Cybercrime
R. Anderson and others (2013) · Springer Berlin Heidelberg
On-chip quantum interference between silicon photon-pair sources
Unattributed (2013) · Springer Science and Business Media LLC
Global network modelling based on mininet approach.
Vitaly Antonenko and others (2013) · ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN) · Association for Computing Machinery
A Model-Based Synthesis Process for Choreography Realizability Enforcement
Marco Autili and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Reactive Turing machines
J. C. M. Baeten and others (2013) · Information and Computation · Elsevier BV
New differential fault analysis on PRESENT
Nasour Bagheri and others (2013) · EURASIP Journal on Advances in Signal Processing · Springer Science+Business Media
Automated Tactics for separation logic proofs
Callum Bannister (2013)
A fault induction technique based on voltage underfeeding with application to attacks against AES and RSA
Alessandro Barenghi and others (2013) · Journal of Systems and Software · Elsevier BV
Inherently Analog Quantity Representations in Olive Baboons (Papio anubis)
Allison M. Barnard and others (2013) · Frontiers in Psychology · Frontiers Media
Contract agreements via logic
Massimo Bartoletti and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Lending Petri Nets and Contracts
Massimo Bartoletti and others (2013) · Springer Berlin Heidelberg
A Theory of Agreements and Protection
Massimo Bartoletti and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Sleuth: Automated Verification of Software Power Analysis Countermeasures
Ali Galip Bayrak and others (2013) · Springer Berlin Heidelberg
The SIMON and SPECK Families of Lightweight Block Ciphers
Ray Beaulieu (2013)
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert and others (2013) · Springer
Differential Power Analysis of HMAC SHA-2 in the Hamming Weight Model
Sonia Belaïd and others (2013) · SCITEPRESS - Science and and Technology Publications
Internet nameserver IPv4 and IPv6 address relationships
Arthur Berger and others (2013) · ACM
On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors
P. Bernardi and others (2013) · IEEE
Automatic generation of compact formal properties for effective error detection
Michele Bertasi and others (2013) · International Conference on Hardware/Software Codesign and System Synthesis
IPv6 Alias Resolution via Induced Fragmentation
Robert Beverly and others (2013) · Springer Berlin Heidelberg
Sequoll: A framework for model checking binaries
B. Blackham and others (2013) · IEEE
Wideband aeronautical channel sounding and modeling for C-band telemetry
Christian Bluemm and others (2013) · IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC)
Group Support Systems Research in the Field of Business Information Security: A Practitioner's View
Y. Bobbert and others (2013) · IEEE
SleepWalker: A 25-MHz 0.4-V Sub-mm² 7-µW/MHz Microcontroller in 65-nm LP/GP CMOS for Low-Carbon Wireless Sensor Nodes
David Bol and others (2013) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
The approximate number system and its relation to early math achievement: Evidence from the preschool years
J. W. Bonny and others (2013) · Elsevier BV
Forwarding metamorphosis: Fast programmable match-action processing in hardware for SDN
Pat Bosshart and others (2013) · ACM SIGCOMM Conference (SIGCOMM)
Billions and billions of constraints: Whitebox fuzz testing in production
E. Bounimova and others (2013) · IEEE
Formally Verified System Initialisation
Andrew Boyton and others (2013) · Lecture notes in computer science · Springer Science+Business Media
A probabilistic model of visual working memory: Incorporating higher order regularities into working memory capacity estimates.
T. F. Brady and others (2013) · American Psychological Association (APA)
Formal Verification of Hardware Synthesis
Thomas Braibant and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Swarm robotics: a review from the swarm engineering perspective
Manuele Brambilla and others (2013) · Swarm Intelligence
Separation logic : expressiveness, complexity, temporal extension
Rémi Brochenin (2013)
Pulsed-Laser Testing for Single-Event Effects Investigations
Stephen P Buchner and others (2013) · Institute of Electrical and Electronics Engineers (IEEE)
Abstract interpretation of integers by signs
J. Burghardt (2013) · https://upload.wikimedia. org/wikipedia/commons/8/8b/Abstract_interpretation_of_integers_by_signs_svg.svg. [Accessed 14-
The Resource Public Key Infrastructure (RPKI) to Router Protocol
R. Bush and others (2013) · RFC Editor
Symbolic execution for software testing: three decades later
Cristian Cadar and others (2013) · Association for Computing Machinery (ACM)
Mapping the expansion of Google's serving infrastructure
Matt Calder and others (2013) · ACM
The history of the internet: the missing narratives
Martin Campbell-Kelly and others (2013) · Journal of Information Technology · SAGE Publications
LegUp: An open-source high-level synthesis tool for FPGA-based processor/accelerator systems
A. Canis and others (2013) · ACM Trans. Embed. Comput. Syst. (TECS)
Network Geeks: How They Built the Internet
Brian E. Carpenter (2013)
Networks of Outrage and Hope: Social Movements in the Internet Age
Manuel Castells (2013) · John Wiley & Sons
Hardware Trojan Insertion by Direct Modification of FPGA Configuration Bitstream
R. S. Chakraborty and others (2013) · Institute of Electrical and Electronics Engineers (IEEE)
Model Theory: Third Edition
C. C. Chang and others (2013) · Dover Publications
Orientation and Connectivity Based Criteria for Asymptotic Consensus
Bernadette Charron-Bost (2013)
New transience bounds for long walks in weighted digraphs
Bernadette Charron-Bost and others (2013)
Transience Bounds for Distributed Algorithms
Bernadette Charron-Bost and others (2013) · Springer Berlin Heidelberg
On the benefits of using a large IXP as an internet vantage point
Nikolaos Chatzis and others (2013) · ACM Internet Measurement Conference (IMC)
There is more to IXPs than meets the eye
Nikolaos Chatzis and others (2013) · Association for Computing Machinery (ACM)
Universal Computation by Multiparticle Quantum Walk
Andrew M Childs and others (2013) · American Association for the Advancement of Science (AAAS)
Formal verification of an implementation of CRT-RSA Vigilant’s algorithm
Maria Christofi and others (2013) · PROOFS Workshop: Pre-proceedings
Formal verification of a CRT-RSA implementation against fault attacks
Maria Christofi and others (2013) · Journal of Cryptographic Engineering · Springer Science+Business Media
MPLS virtual private networks
Luca Cittadini and others (2013) · Recent Advances in Networking, Volume 1, ACM SIGCOMM eBook · ACM
The Path to Palantir (talk transcript)
Stephen Cohen (2013)
On Unsettleable Arithmetical Problems
John H. Conway (2013) · The American Mathematical Monthly · Informa UK Limited
Fault Injection for Software Certification
Domenico Cotroneo and others (2013) · IEEE Security & Privacy · Institute of Electrical and Electronics Engineers
A Modal BI Logic for Dynamic Resource Properties
J.-R. Courtault and others (2013) · Springer Berlin Heidelberg
It Began with Babbage: The Genesis of Computer Science
Subrata DasGupta (2013)
Study on the Barriers to the Industrial Adoption of Formal Methods
Jennifer A. Davis and others (2013) · Springer Berlin Heidelberg
Verified AIG Algorithms in ACL2
Jared Davis and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Electromagnetic Glitch on the AES Round Counter
Amine Dehbaoui and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Pierre-Malo Deniélou and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Wireless Mesh Software Defined Networks (wmSDN)
Andrea Detti and others (2013) · IEEE
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
A Dynamic Scheduling Method of Earth‐Observing Satellites by Employing Rolling Horizon Strategy
Q. Dishan and others (2013) · Wiley
Application of Formal Methods in Development of Information Systems
Željko Dobrović and others (2013) · Central European Conference on Information and Intelligent Systems · Faculty of Organization and Informatics Varazdin
IPv6 BGP filter recommendations
Gert Döring (2013)
Fundamentals of Dependability
Elena Dubrova (2013) · Springer New York
ZMap: Fast internet-wide scanning and its security applications
Zakir Durumeric and others (2013) · 22nd USENIX Security Symposium
Approval Requirements for Air-Ground Data Link and ADS-B in support of Interoperability Requirements
EASA, (2013) · Technical Report CRDTO NPA2012- 19—RMT.0559(20.016)
Een Top Level Domein voor betrouwbare overheidscommunicatie: Een verkenning van de kansen en risico's
Wolfgang Ebbers and others (2013) · Novay
Egyptian Revolution: Between Hope and Despair, Mubarak to Morsi
Mohamed El-Bendary (2013) · Algora Publishing
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Kevin Elphinstone and others (2013) · ACM
Compositional Invariant Checking for Overlaid and Nested Linked Lists
C. Enea and others (2013) · Springer Berlin Heidelberg
An experimental UAV system for search and rescue challenge
D. Erdos and others (2013) · Institute of Electrical and Electronics Engineers (IEEE)
How Reason Almost Lost Its Mind: The Strange Career of Cold War Rationality
Paul Erickson and others (2013) · University of Chicago Press
Fighting Dark Networks: Using Social Network Analysis to Implement the Special Operations Targeting Process for Direct and Indirect Approaches
Matthew D. Erlacher (2013)
The Locator/ID Separation Protocol (LISP)
D. Farinacci and others (2013)
Links Between the Intuitive Sense of Number and Formal Mathematics Ability
Lisa Feigenson and others (2013) · Child Development Perspectives · Wiley
Why3 — Where Programs Meet Provers
J.-C. Filliâtre and others (2013) · Springer Berlin Heidelberg
Why the design productivity gap never happened
Harry D. Foster (2013)
Unfaithful Glitch Propagation in Existing Binary Circuit Models
Matthias Függer and others (2013) · 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems · IEEE
ANS acuity and mathematics ability in preschoolers from low‐income homes: contributions of inhibitory control
M. W. Fuhs and others (2013) · Wiley
Intermittent resonant clocking enabling power reduction at any clock frequency for 0.37V 980kHz near-threshold logic circuits
H. Fuketa (2013) · IEEE
Synchronous digital circuits as functional programs
Peter Gammie (2013) · ACM Computing Surveys · Association for Computing Machinery (ACM)
The language of mathematics
Mohan Ganesalingam (2013) · Springer
dReal: An SMT Solver for Nonlinear Theories over the Reals
Sicun Gao and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Formal methods for safe and secure computer systems
H. Garavel and others (2013) · Bundesamt für Sicherheit in der Informationstechnik
A survey of interdomain routing policies
Phillipa Gill and others (2013) · Association for Computing Machinery (ACM)
Societal Trends and the World of the Adolescent
Jan Gill-Wigal (2013) · Preventing Adolescent Suicide · Routledge
Improving the discovery of IXP peering links through passive BGP measurements
V. Giotsas and others (2013) · IEEE
"Raw Data" Is an Oxymoron
Unattributed (2013) · The MIT Press
Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures
Johann Glaser and others (2013) · Models, Methods, and Tools for Complex Chip Design · Springer International Publishing
Formal Methods for Industrial Critical Systems: A Survey of Applications
Unattributed (2013) · Wiley
Low power design flow based on Unified Power Format and Synopsys tool chain
Venkatesh Gourisetty and others (2013) · IEEE
Cultural Imperialism and Globalization in Pepsi Marketing
Justin Grandinetti (2013) · Lexia Undergraduate Journal
Incrementally synthesizing controllers from scenario-based product line specifications
J. Greenyer and others (2013) · ACM
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
Christoph Haase and others (2013) · Computer Aided Verification · Springer Berlin Heidelberg
Some bounds on global alliances in trees
Ararat Harutyunyan (2013) · Discrete Applied Mathematics · Elsevier BV
The BTWorld use case for big data analytics: Description, MapReduce logical workflow, and empirical evaluation
T. Hegeman and others (2013) · IEEE
Investigate the high-level hdl chisel
F. Heilmann and others (2013) · 2013, p. 2.
On the characterization of the Wireless Channel for Aeronautic Mobile Telemetry in C-Band
Christoph Heller and others (2013) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
Elasticity in cloud computing: What it is, and what it is not
N. Herbst and others (2013) · International Conference on Autonomic Computing (ICAC)
Mining Hardware Assertions With Guidance From Static Analysis
Samuel Hertz and others (2013) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
A Simple Separation Logic
Andreas Herzig (2013) · Logic, Language, Information, and Computation · Springer
The ramifications of sharing in data structures
Aquinas Hobor and others (2013) · Association for Computing Machinery (ACM)
Using innovative instructions to create trustworthy software solutions
Matthew Hoekstra and others (2013) · ACM
Using static voltage analysis and voltage-aware DRC to identify EOS and oxide breakdown reliability issues
Matthew Hogan and others (2013) · 2013 35th Electrical Overstress/Electrostatic Discharge Symposium (2013), 1–6.
Synchronization Techniques for Burst-Mode Continuous Phase Modulation
E. Hosseini (2013)
Timing, Carrier, and Frame Synchronization of Burst-Mode CPM
Ehsan Hosseini and others (2013) · IEEE Transactions on Communications · IEEE Communications Society
The Internet Numbers Registry System
R. Housley and others (2013) · RFC Editor
Practical Timing Side Channel Attacks against Kernel Space ASLR
Ralf Hund and others (2013) · IEEE
Power ISA Version 2.07
IBM, (2013)
IEEE Standard for SystemVerilog: Unified Hardware Design, Specification, and Verification Language, IEEE Std 1800-2012
IEEE, (2013) · IEEE Std 1800-2012, pages 1–1315, Feb
Sampling from the mental number line: How are approximate number system representations formed?
M. Inglis and others (2013) · Elsevier BV
The Tree Width of Separation Logic with Recursive Definitions
Radu Iosif and others (2013) · Automated Deduction – CADE-24 · Springer
Effectively-Propositional Reasoning about Reachability in Linked Data Structures
Shachar Itzhaky and others (2013) · Computer Aided Verification · Springer Berlin Heidelberg
SwitchReduce: Reducing switch state and controller involvement in openflow networks
A.S. Iyer and others (2013) · Proc. IFIP Networking Conference, 2013 · IFIP Networking Conference
A Probabilistic Clustering Theory of the Organization of Visual Short-Term Memory
Robert A. Jacobs and others (2013) · Journal of Vision · Association for Research in Vision and Ophthalmology
B4: Experience with a globally-deployed software defined WAN
S. Jain and others (2013) · ACM SIGCOMM Computer Communication Review
Offenders in a digitized society
J. Jansen and others (2013)
Programming in the λ-Calculus: From Church to Scott and back
Jan Martin Jansen (2013) · The Beauty of Functional Code · Springer
Enabling Concise and Modular Specifications in Separation Logic
J. Jensen (2013)
Techniques for model construction in separation logic
J. Jensen (2013) · http://www.itu.dk/research/pls/wiki/index. php/Jonas_Buhrkal_Jensen
The Technical and Social History of Software Engineering
Capers Jones (2013)
Characterizing and profiling scientific workflows
G. Juve and others (2013) · Elsevier BV
The Ambivalent Ontology of Digital Artifacts
Jannis Kallinikos and others (2013) · MIS Quarterly
Optimizing the "one big switch" abstraction in software-defined networks
Nanxi Kang and others (2013) · ACM
Palette: Distributing tables in software-defined networks
Y. Kanizo and others (2013) · IEEE
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · High Permittivity Gate Dielectric Materials · Springer
Hardware Designer's Guide to Fault Attacks
Duško Karaklajić and others (2013) · Institute of Electrical and Electronics Engineers (IEEE)
Detection, Diagnosis, and Recovery From Clock-Domain Crossing Failures in Multiclock SoCs
Naghmeh Karimi and others (2013) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
The Meaning of the Cyber Revolution: Perils to Theory and Statecraft
Lucas Kello (2013) · MIT Press
No Evidence for an Item Limit in Change Detection
Shaiyan Keshvari and others (2013) · PLoS Computational Biology · Public Library of Science (PLoS)
Internet-Scale IPv4 Alias Resolution With MIDAR
Ken Keys and others (2013) · Institute of Electrical and Electronics Engineers (IEEE)
Capacitance-Voltage Characteristics of Gate-All-Around InxGa1-XAs Nanowire Transistor
Q. D. M. Khosru and others (2013) · The Electrochemical Society
Veriflow: Verifying network-wide invariants in real time
A. Khurshid and others (2013) · Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)
A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data
A. Kirilov and others (2013) · Springer International Publishing
Computing for Science, Engineering, and Production: Mathematical Tools for the Second Industrial Revolution
Karl Klein (2013)
Early numerical development and the role of non-symbolic and symbolic skills
M. E. Kolkman and others (2013) · Elsevier BV
Multilevel coordination control of modular DES
Jan Komenda and others (2013) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers
A Model Humanitarian Intervention?
A. J. Kuperman (2013) · Reassessing NATO’s Libya Campaign. International Security
Amending Choreographies
Ivan Lanese and others (2013) · Open Publishing Association
Choreography Synthesis as Contract Agreement
Julien Lange and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Nondeterministic Phase Semantics and the Undecidability of Boolean BI
D. Larchey-Wendling and others (2013) · Association for Computing Machinery (ACM)
JML Reference Manual
Gary T. Leavens and others (2013)
Principles of Advertising: A Global Perspective, 2nd ed
Monle Lee and others (2013) · Routledge
Is approximate number precision a stable predictor of math ability?
Melissa E. Libertus and others (2013) · Learning and Individual Differences · Elsevier BV
Automatic Generation of System Level Assertions from Transaction Level Models
Lingyi Liu and others (2013) · Journal of Electronic Testing · Springer Science+Business Media
Inverting Martin Synthesis for Verification
S Longfield and others (2013) · IEEE
AS relationships, customer cones, and validation
Matthew Luckie and others (2013) · ACM
Speedtrap: internet-scale IPv6 alias resolution
Matthew Luckie and others (2013) · Proceedings of the 2013 conference on Internet measurement conference
The aftermath of prefix deaggregation
Andra Lutu and others (2013) · IEEE
Awaiting Cyber 9/11
Clifford S. Magee (2013) · Joint Force Quarterly · National Defense University Press
Risk Propagation Assessment for Network Security: Application to Airport Communication Network Design
M. S. B. Mahmoud and others (2013) · John Wiley & Sons, Hoboken, New Jersey, USA
Cybercrime as a service: a very modern business
D. Manky (2013) · Auricle Global Society of Education and Research
Scaling and Scheduling to Maximize Application Performance within Budget Constraints in Cloud Workflows
Ming Mao and others (2013) · IEEE International Parallel and Distributed Processing Symposium (IPDPS) · Institute of Electrical and Electronics Engineers
Stigmergic Hyperlink: A New Social Web Object
Artur Sancho Marques and others (2013) · IGI Global
A graph-theoretic study of the flattening Internet AS topology
Mohammad Z. Masoud and others (2013) · The ... IEEE International Conference on Networks/The IEEE International Conference on Networks · Institute of Electrical and Electronics Engineers
Air-ground channel measurements & modeling for UAS
D. Matolak and others (2013) · IEEE
Innovative instructions and software model for isolated execution
Frank McKeen and others (2013) · ACM
ARPA-E is Here to Stay: Looking Forward by Comparing the New Energy Agency's Approach to 20th Century Federal Technology Programs
Varun Mehra (2013) · Science Progress
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Simon Meier and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Formal Verification of Analog Circuit Parameters across Variation Utilizing SAT
Merritt P. Miller and others (2013) · Design, Automation, and Test in Europe
A toolbox for counter-example analysis and optimization
A. Mishchenko and others (2013) · IWLS
Autonomous System (AS) Reservation for Private Use
J. Mitchell (2013) · RFC Editor
BGP Prefix Origin Validation
P. Mohapatra and others (2013) · RFC Editor
Engineering an Enterprise: Practical Issues of Two Case Studies from the Luxembourgish Beverage and Tobacco Industry
W. A. Molnar and others (2013) · Springer Berlin Heidelberg
Composing Software-Defined Networks
Christopher Monsanto and others (2013) · Proc. NSDI, 2013 · NSDI
Side-channel attacks on the bitstream encryption mechanism of Altera Stratix II: facilitating black-box analysis using software reverse-engineering
A. Moradi and others (2013) · ACM
Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller
Nicolas Moro and others (2013) · 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography · IEEE
seL4: From General Purpose to a Proof of Information Flow Enforcement
Toby Murray and others (2013) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
DomainFlow: Practical flow management method using multiple flow tables in commodity switches
Yukihiro Nakagawa and others (2013) · Proc. CoNEXT, 2013 · CoNEXT
Method and system of automatically identifying level shifter circuits
Jesse Conrad Newcomb and others (2013)
On the performance of a retransmission-based synchronizer
Thomas Nowak and others (2013) · Theoretical Computer Science · Elsevier BV
Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
John O'Leary and others (2013) · Formal Methods in Computer-Aided Design (FMCAD 2013) · IEEE Computer Society
OpenFlow switch specification, version 1.3.3
Open Networking Foundation (2013) · Open Networking Foundation
Training the Approximate Number System Improves Math Proficiency
J. Park and others (2013) · SAGE Publications
Computer Organization and Design: The Hardware/Software Interface
David A. Patterson and others (2013) · Morgan Kaufmann
Isabelles Logics: FOL and ZF
Lawrence C Paulson (2013) · Available at http://isabelle
Separation Logic Modulo Theories
J. Navarro Pérez and others (2013) · Springer International Publishing
FEC Systems for Aeronautical Telemetry
E. Perrins (2013) · Institute of Electrical and Electronics Engineers (IEEE)
Automating Separation Logic Using SMT
Ruzica Piskac and others (2013) · Computer Aided Verification · Springer
Computer Technology Innovators
Editors Of Press (2013)
Masking against Side-Channel Attacks: A Formal Security Proof
Emmanuel Prouff and others (2013) · Springer Berlin Heidelberg
Natural proofs for structure, data, and separation
X. Qiu and others (2013) · Association for Computing Machinery (ACM)
A History of Silicon Valley: The Greatest Creation of Wealth in the History of the Planet, 2nd Edition
Arun Rao (2013)
A pattern-based approach to parametric specification mining
Giles Reger and others (2013) · IEEE/ACM International Conference on Automated Software Engineering (ASE)
Space Division Multiplexing in Optical Fibres
D. J. Richardson and others (2013)
Cyber War Will Not Take Place
Thomas Rid (2013)
Fault Model Analysis of Laser-Induced Faults in SRAM Memory Cells
Cyril Roscian and others (2013) · 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography · IEEE
Frontside laser fault injection on cryptosystems - Application to the AES' last round -
Cyril Roscian and others (2013) · 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) · IEEE
DO-300A, Minimum Operational Performance Standards (MOPS) for Traffic Alert and Collision Avoidance System II (TCAS II) Hybrid Surveillance
RTCA, (2013) · Technical Report DO-300A
Introduction to embedded systems
E. A. Sakarovitch and others (2013) · 2013.
The Roots and Causes of the 2011 Arab Uprisings
Kamal Eldin Osman Salih (2013) · Arab Studies Quarterly · Pluto Journals
Radio Propagation Measurement and Channel Modelling
Sana Salous (2013) · Wiley
X.509 Internet Public Key Infrastructure Online Certificate Status Protocol - OCSP
Stefan Santesson and others (2013)
Resonant-Clock Design for a Power-Efficient, High-Volume x86-64 Microprocessor
Visvesh Sathe and others (2013) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
“LOIC Will Tear Us Apart”
M. Sauter (2013) · SAGE Publications
Complexity Hierarchies Beyond Elementary
Sylvain Schmitz (2013)
Thank You, Anarchy: Notes from the Occupy Apocalypse
Nathan Schneider (2013) · University of California Press
The german national project ICONAV
M. Schnell and others (2013) · IEEE
Translation validation for a verified OS kernel
Thomas Arthur Leck Sewell and others (2013) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
The Rise of Evidence-Based Policing: Targeting, Testing, and Tracking
Lawrence W. Sherman (2013) · Crime and Justice · University of Chicago Press
A survey on binary decision diagram approaches to symbolic analysis of analog integrated circuits
Guoyong Shi (2013) · Analog Integrated Circuits and Signal Processing · Springer Science+Business Media
LDACS1 ranging performance - an analysis of flight measurement results
D. Shutin and others (2013) · IEEE
Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization
Kevin Z. Snow and others (2013) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Protocol-oblivious forwarding: Unleash the power of SDN through a future-proof forwarding plane
Haoyu Song (2013) · ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN) · Association for Computing Machinery
Infants Show Ratio‐dependent Number Discrimination Regardless of Set Size
Ariel Starr and others (2013) · Infancy · Wiley
Number sense in infancy predicts mathematical abilities in childhood
A. Starr and others (2013) · National Academy of Sciences
Analysis of DME/TACAN Interference on the Lower L-band
A. Steingass (2013) · Proceedings of the 26th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2013)
The Shock of ‘First Lightning.’
Bill Streifer and others (2013) · American Intelligence 31, no. 1 (2013): 54–58.
Maximum Achievable Capacity in Airborne MIMO Communications with Arbitrary Alignments of Linear Transceiver Antenna Arrays
Weifeng Su and others (2013) · IEEE Transactions on Wireless Communications · Institute of Electrical and Electronics Engineers
Creating highly reliable FPGA designs
Angela Sutton (2013) · Military&Aerospace Technical Bullentin
Introduction to Electric Circuits
James A. Svoboda and others (2013)
Aaron Swartz's A Programmable Web: An Unfinished Work
Aaron Swartz (2013) · Synthesis lectures on the semantic web · Morgan & Claypool Publishers
HSPICE Reference Manual: MOSFET Models.
Synopsys, (2013)
SoK: Eternal War in Memory
László Szekeres and others (2013) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Clouds for Scalable Big Data Analytics
D. Talia (2013) · Institute of Electrical and Electronics Engineers (IEEE)
Structured Computer Organization
Andrew S. Tanenbaum and others (2013) · Pearson
The sequential semantics of producer effect systems
Ross Tate (2013) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)
The sequential semantics of producer effect systems
Ross Tate (2013) · Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages · ACM
Comprehensive Analysis of Software Countermeasures against Fault Attacks
Nikolaus Theißing and others (2013) · IEEE Conference Publications
LLFI: An intermediate code level fault injector for soft computing applications
Anna Thomas and others (2013) · Workshop on Silicon Errors in Logic System Effects (SELSE)
Growing solver-aided languages with rosette
E. Torlak and others (2013) · ACM
DigiNotar: Dissecting the First Dutch Digital Disaster
Nicole van der Meulen (2013) · Journal of Strategic Security
The Culture of Connectivity: A Critical History of Social Media
José van Dijck (2013) · Oxford University Press
A formalisation of XMAS
Bernard van Gastel and others (2013) · Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)
Verification of Building Blocks for Asynchronous Circuits
Freek Verbeek and others (2013) · Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)
Non-monotonic set theory as a pragmatic foundation of mathematics
Peter Verdée (2013) · Foundations of science
From information security to cyber security
Rossouw von Solms and others (2013) · Computers & Security · Elsevier BV
EstiNet openflow network simulator and emulator
Shie-Yuan Wang and others (2013) · Institute of Electrical and Electronics Engineers (IEEE)
SurfNoC: a low latency and provably noninterfering approach to secure networks-on-chip
H. M. Wassel and others (2013) · ACM SIGARCH Computer Architecture News
The RISC-V instruction set
Andrew S. Waterman and others (2013) · IEEE Hot Chips Symposium
UEFI secure boot in modern computer security solutions
R. Wilkins and others (2013) · UEFI forum
simFI: From single to simultaneous software fault injections
Stefan Winter and others (2013) · IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Yosys: a free verilog synthesis suite
C. Wolf and others (2013) · Proceedings of the 21st Austrian Workshop on Microelectronics (Austrochip)
A 16nm FinFET CMOS technology for mobile SoC and computing applications
S.-Y. Wu and others (2013) · 2013 IEEE International Electron Devices Meeting. IEEE, dec 2013
Soft Timing Synchronization Algorithm for CPM Signals
Zhou Xiangchao and others (2013) · IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)
Characteristic studies of loop problems for structural test generation via symbolic execution
Xusheng Xiao and others (2013) · IEEE/ACM International Conference on Automated Software Engineering (ASE)
Design and Verification of a "Soft" eFPGA Using New Method
Xiao Dong Xie and others (2013) · Advanced materials research · Trans Tech Publications
Virtual Channels and Multiple Physical Networks: Two Alternatives to Improve NoC Performance
Young Jin Yoon and others (2013) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Air-to-Ground Radio Channels
A. Zajic (2013) · Mobile-to-Mobile Wireless Channels. Artech House
Practical Control Flow Integrity and Randomization for Binary Executables
C. Zhang and others (2013) · IEEE
Real-time aeronautical channel simulator
Chao Zhang and others (2013) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
Supply-noise resilient adaptive clocking for battery-powered aerial microrobotic System-on-Chip in 40nm CMOS
Xuan Zhang and others (2013) · IEEE Custom Integrated Circuits Conference (CICC)
Power supply glitch induced faults on FPGA: An in-depth analysis of the injection mechanism
Loïc Zussa and others (2013) · IEEE International On-Line Testing Symposium (IOLTS)