A Bit-fixing PRF with O(1) Collusion-Resistance from LWE Alex Davidson1,? and Ryo Nishimaki2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Mathematics
• Number theory
• Post-quantum cryptography
• Spectral theory
• Algebra
• Distribution
• Pseudorandom function family
• Learning with errors
• Jordan normal form
• Decomposition of spectrum

In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective

Source URL: idl.cs.washington.edu

SAMPLE SUBMISSION Title Battle of the SKM and IUM: How Windows 10 Rewrites OS Architecture Alex Ionescu, Chief Architect, CrowdStrike (Black Hat USA 2015)

Source URL: www.blackhat.com

• Malware
• Security
• Kernel
• Hypervisor
• Pin
• Cybercrime
• Prevention

Cryptanalysis of Feistel Networks with Secret Round Functions ? Alex Biryukov1 , Gaëtan Leurent2 , and Léo Perrin3 1 3

Source URL: who.rocq.inria.fr

• Cryptography
• Data Encryption Standard
• Feistel cipher
• Block cipher
• Tiny Encryption Algorithm
• ICE
• Format-preserving encryption
• Skipjack

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Source URL: rjoshi.org

• Theoretical computer science
• Information retrieval
• Information science
• Model checkers
• Hashing
• Model checking
• Ith
• SPIN model checker
• Bitstate hashing
• Cryptographic hash function
• Correctness
• Applied mathematics

Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf

Source URL: benvds.com

• Computing
• System software
• Software
• Internet privacy
• Computer network security
• Internet censorship in China
• Echo Protocol
• Deep packet inspection
• Internet censorship
• Nmap
• Transmission Control Protocol
• Discard Protocol

Alex Sherman www.asherman.io Experience ​Faff Games LLC,​ Madison, WI

Source URL: asherman.io

• Computing
• Software
• Computer programming
• Cross-platform software
• PyCharm
• ESP8266
• Python
• MySQL
• Elasticsearch
• OpenGL Shading Language

Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf

Source URL: benjaminvandersloot.com

• Computing
• System software
• Software
• Internet privacy
• Computer network security
• Internet censorship in China
• Echo Protocol
• Deep packet inspection
• Internet censorship
• Nmap
• Transmission Control Protocol
• Discard Protocol

DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc.

Source URL: www.trailofbits.com

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Test automation
• Differential testing
• Unit testing
• Fuzzing
• Random testing
• KeY
• Test harness

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Source URL: rjoshi.org

• FO
• Finite model theory
• Model theory
• Metaphilosophy
• Mathematical logic
• Mathematics
• Sigma-algebra
• Pattern language