Alex - PDFSEARCH.IO - Document Search Engine

Alex
Results: 7987

#	Item
1	A Bit-fixing PRF with O(1) Collusion-Resistance from LWE Alex Davidson1,? and Ryo Nishimaki2 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-10-18 18:40:38 Cryptography Mathematics Number theory Post-quantum cryptography Spectral theory Algebra Distribution Pseudorandom function family Learning with errors Jordan normal form Decomposition of spectrum
2	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 Add to Reading List Source URL: idl.cs.washington.edu Language: English
3	SAMPLE SUBMISSION Title Battle of the SKM and IUM: How Windows 10 Rewrites OS Architecture Alex Ionescu, Chief Architect, CrowdStrike (Black Hat USA 2015) Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2018-05-11 13:28:08 Malware Security Kernel Hypervisor Pin Cybercrime Prevention
4	Cryptanalysis of Feistel Networks with Secret Round Functions ? Alex Biryukov1 , Gaëtan Leurent2 , and Léo Perrin3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:34 Cryptography Data Encryption Standard Feistel cipher Block cipher Tiny Encryption Algorithm ICE Format-preserving encryption Skipjack
5	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:27:55 Theoretical computer science Information retrieval Information science Model checkers Hashing Model checking Ith SPIN model checker Bitstate hashing Cryptographic hash function Correctness Applied mathematics
6	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 Add to Reading List Source URL: benvds.com Language: English - Date: 2018-09-18 11:06:16 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
7	Alex Sherman www.asherman.io Experience Faff Games LLC, Madison, WI Add to Reading List Source URL: asherman.io Language: English - Date: 2018-10-02 12:47:05 Computing Software Computer programming Cross-platform software PyCharm ESP8266 Python MySQL Elasticsearch OpenGL Shading Language
8	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 Add to Reading List Source URL: benjaminvandersloot.com Language: English - Date: 2018-09-18 11:06:16 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
9	DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc. Add to Reading List Source URL: www.trailofbits.com Language: English - Date: 2018-10-25 13:17:14 Software testing Software engineering Computing Software development Symbolic execution Test automation Differential testing Unit testing Fuzzing Random testing KeY Test harness
10	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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language

UPDATE