Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

Source URL: rjoshi.org

• Software testing
• Software engineering
• Computing
• Quality
• Fault injection
• Software verification
• Reliability engineering
• Formal verification
• Flash memory
• Software quality
• Stress testing
• Exception handling

Control-plane Isolation and Recovery for a Secure SDN Architecture Takayuki Sasaki Daniele E. Asoni

Source URL: www.netsec.ethz.ch

• Computing
• System software
• Network architecture
• Computer architecture
• Emerging technologies
• OpenFlow
• Software-defined networking
• Transaction processing
• Nox
• Network function virtualization
• LXC
• Network switch

Permanent Structured Cooperation - PESCO Deepening Defence Cooperation among EU Member States More security for the EU and its citizens In light of a changing security

Source URL: eeas.europa.eu

• Coordinated Annual Review on Defence
• Military of the European Union
• Permanent Structured Cooperation
• Common Security and Defence Policy
• European Medical Command
• World
• Enhanced cooperation
• European External Action Service
• European Defence Agency
• European Union Military Staff
• European Union
• Europe

A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority

Source URL: acmccs.github.io

Call for Proposals: Documentation Support for KDE KDE is an international community dedicated to writing Free Software for end users. Thousands of volunteers are working on software like a desktop, graphics applications,

Source URL: ev.kde.org

• Software
• System software
• Computing
• KDE
• KDE Software Compilation
• KDE Projects

Regaining Lost Cycles with HotCalls: A Fast Interface for SGX Secure Enclaves Ofir Weisse Valeria Bertacco Todd Austin University of Michigan oweisse/vale/

Source URL: www.ofirweisse.com

• Computing
• Computer architecture
• Computer engineering
• Computer memory
• Computer security
• Memory management
• Side-channel attacks
• Software Guard Extensions
• Cold boot attack
• C dynamic memory allocation
• Sync
• Cache

Answers/Hints for Labs in Learn Git in a Month of Lunches Rick Umali June 22, 2016 2

Source URL: manning-content.s3.amazonaws.com

• Computer programming
• Software
• Git
• Commit

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

Source URL: seahorn.github.io

• C
• Data types
• Software engineering
• Computing
• Computer programming
• Pointer
• Compatibility of C and C++
• Const
• Typedef

VISION Smart and Connected Flooring as a Service TECHNOLOGY · Embedded sensors in the flooring · AI methods for data treatment PRODUCT

Source URL: www.startup.ch

• Emerging technologies
• Technology
• Artificial intelligence
• Computational neuroscience
• Cybernetics
• Wireless sensor network
• Science and technology

Curved Koszul Duality for Algebras over Unital Operads Najib Idrissi∗ April 30, 2018 We develop a curved Koszul duality theory for algebras presented by

Source URL: idrissi.eu

• Algebra
• Abstract algebra
• Mathematics
• Algebras
• Category theory
• Koszul duality
• Homological algebra
• Operad theory
• Algebraic topology
• Algebra over a field
• Coalgebra
• Associative algebra