Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation? David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Elliptic curve cryptography
• Key management
• Digital Signature Standard
• Digital signature
• Key
• Post-quantum cryptography
• EdDSA
• RSA
• Model theory
• Digital Signature Algorithm

Benchmarking 6DOF Outdoor Visual Localization in Changing Conditions Torsten Sattler1 Will Maddern2 Carl Toft3 Akihiko Torii4 Lars Hammarstrand3 Erik Stenborg3 Daniel Safari4,5 Masatoshi Okutomi4 Marc Pollefeys1,6 Josef

Source URL: openaccess.thecvf.com

Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Computing
• Functional languages
• Scheme
• Source code
• Object-oriented programming languages
• Hygienic macro
• Racket features
• Macro
• Racket
• Syntax

On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme

Source URL: mbeddr.com

• Formal methods
• Theoretical computer science
• Software engineering
• Systems engineering
• Software testing
• Quality
• Software quality
• Software verification and validation
• Formal verification
• Functional verification
• Model checking
• Verification and validation

GRADUATE SEMINAR Daniel Krumer Abstract Sub-Product Systems MSc Student supervised by Remus Floricel March 12, 2018

Source URL: www.uregina.ca

Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution Revision 1.0 (August 14, 2018) Ofir Weisse3 , Jo Van Bulck1 , Marina Minkin2 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens

Source URL: foreshadowattack.eu

• Computer architecture
• Computing
• Computer hardware
• Computer memory
• Memory management
• Virtual memory
• X86 architecture
• Computer security
• Meltdown
• Translation lookaside buffer
• CPU cache
• Software Guard Extensions

Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga

Source URL: xushijie.github.io

• Computing
• Object-oriented programming languages
• Scripting languages
• Programming languages
• Java platform
• Java specification requests
• Da Vinci Machine
• Java bytecode
• JRuby
• Java virtual machine
• Java class file
• Scala

Compositional Safety Verification with Max-SMT Marc Brockschmidt ∗ , Daniel Larraz † , Albert Oliveras † , Enric Rodr´ıguez-Carbonell † and Albert Rubio

Source URL: www.lsi.upc.edu

• Formal methods
• Software engineering
• Theoretical computer science
• Predicate transformer semantics
• Computing
• Loop invariant
• Invariant
• 120-cell

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking