Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: csl.sri.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

arXiv:1810.05256v1 [cs.DC] 11 OctALEPH: A LEADERLESS, ASYNCHRONOUS, BYZANTINE FAULT TOLERANT CONSENSUS PROTOCOL ´ ADAM GA

Source URL: arxiv.org

• Order theory
• Binary relations
• Partially ordered set

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 EPFL, Lausanne, Switzerland

Source URL: kannwischer.eu

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Hash-based cryptography
• Hashing
• Merkle signature scheme
• Digital signature
• Cryptographic hash function
• Merkle tree
• RSA
• Hash function
• Quantum digital signature

Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN JuneOlivier Tilmans

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Emerging technologies
• Configuration management
• Software-defined networking
• OpenFlow
• Information and communications technology
• Computer engineering
• Scalability
• Software-defined

Differential Power Analysis and Fault Attacks on Hash-Based Signature Schemes Matthias J. Kannwischer 27 March 2018 Radboud University, Nijmegen, The Netherlands

Source URL: kannwischer.eu

• Cryptography
• Cryptographic hash functions
• Post-quantum cryptography
• Hashing
• Search algorithms
• Power analysis
• XMSS
• Hash function
• SHA-2
• DPA
• Digital signature
• Crypt

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Source URL: www.ieee-security.org

• Computer architecture
• System software
• Operating system kernels
• Linux kernel
• Monolithic kernels
• Kernel
• Loadable kernel module
• Protection ring
• Operating system
• Mach
• Rootkit
• Mandatory access control

Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of

Source URL: inl.info.ucl.ac.be

• Network architecture
• Computing
• Computer architecture
• Information and communications technology
• Emerging technologies
• Internet architecture
• Configuration management
• Software-defined networking
• Network protocols
• OpenFlow
• Open vSwitch
• Computer network

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 3

Source URL: kannwischer.eu

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Hash-based cryptography
• Hashing
• Merkle signature scheme
• Digital signature
• Merkle tree
• Cryptographic hash function
• RSA
• Hash function
• Quantum digital signature

Journal of Civil Engineering (IEB), 65 Investigating the effect of far and near field to fault on seismic behavior of dual frames with convergent bracing equipped with viscous damper Hamid Reza Ashrafi,

Source URL: www.jce-ieb.org