Vectorizing Higher-Order Masking Benjamin Grégoire, Kostas Papagiannopoulos, Peter Schwabe, and Ko Stoffelen Motivation •

Source URL: ko.stoffelen.nl

Benjamin Gamari 45 N. East St. Apt. 1 Amherst, MAUnited States

Source URL: bgamari.github.io

• Software
• Computer programming
• Computing
• Functional languages
• Haskell
• Literate programming
• Parallel computing
• LLVM
• SymPy
• Rust
• Glasgow Haskell Compiler
• Computational physics

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization Benjamin Bichsel Timon Gehr

Source URL: files.sri.inf.ethz.ch

Statistical Deobfuscation of Android Applications Benjamin Bichsel Veselin Raychev

Source URL: files.sri.inf.ethz.ch

• Computing
• Obfuscation
• ProGuard
• Smartphones
• Android
• Graphical model
• JAR

Vectorizing Higher-Order Masking Benjamin Gr´egoire1 and Kostas Papagiannopoulos2 and Peter Schwabe2 and Ko Stoffelen2 1 2

Source URL: ko.stoffelen.nl

• Cryptography
• Computing
• Computer architecture
• Advanced Encryption Standard
• AES implementations
• ARM architecture
• Block cipher
• Bit array
• 64-bit computing
• Processor register

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

c Copyright 2014 Benjamin P. Wood Software and Hardware Support for Data-Race Exceptions

Source URL: homes.cs.washington.edu

• Concurrency
• Communication
• Edsger W. Dijkstra
• Synchronization
• Race condition
• Computer programming
• Parallel computing
• Computing
• Electronic engineering

Towards a Complete View of the Certificate Ecosystem Benjamin VanderSloot† Johanna Amann‡ Matthew Bernhard† Zakir Durumeric†‡

Source URL: mbernhard.com

• Cryptography
• Transport Layer Security
• Internet security
• Public key infrastructure
• Secure communication
• E-commerce
• Certificate authority
• Server Name Indication
• Certificate Transparency
• StartCom
• HTTPS
• Public key certificate

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

PDF Document

Source URL: www.benjamin-burger.org