Computer science - PDFSEARCH.IO - Document Search Engine

Computer science
Results: 55984

#	Item
51	Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology, Add to Reading List Source URL: zkp.science Language: English - Date: 2018-09-15 05:52:51 Cryptography Secret sharing Public-key cryptography Secure multi-party computation Commitment scheme Cryptographic protocol Block cipher Zero-knowledge proof
52	Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada. Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-16 07:11:20 Finite automata Temporal logic Automated planning and scheduling Linear temporal logic Theoretical computer science Neuropsychology Computational complexity theory Model checking Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Algorithm
53	HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:27 Cryptography Computing Internet Internet Standards Internet protocols Cryptographic protocols E-commerce Public-key cryptography Transport Layer Security Hostname X.509 Public key certificate
54	Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:21:43 Formal languages Mathematics Theoretical computer science Models of computation Discrete mathematics Nested word Words Bisimulation Distribution Deterministic pushdown automaton
55	High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-07-09 00:19:47 Cryptography Elliptic curve cryptography EdDSA Elliptic-curve cryptography Elliptic Curve Digital Signature Algorithm Curve25519 Elliptic-curve DiffieHellman Digital signature Digital Signature Algorithm Daniel J. Bernstein Hash function Public-key cryptography
56	University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ Add to Reading List Source URL: db.cs.washington.edu Language: English - Date: 2018-10-11 15:27:57 Computing Data management Data Business intelligence Database management systems Technology forecasting Transaction processing Dan Suciu Big data Probabilistic database Data science Analytics
57	Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48 Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2011-03-10 12:58:06 Computer network security Computing Firewall software Information and communications technology Computer security Data security Internet censorship in China Human rights in China Firewall Stateful firewall Internet censorship Router
58	Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical analysis Mathematics Abstract interpretation Function Exponential function Complex analysis Formal methods Centripetal CatmullRom spline
59	Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign Add to Reading List Source URL: madhu.cs.illinois.edu Language: English - Date: 2018-01-11 14:37:00 Computer science Computing Electrical engineering Symposium on Principles of Programming Languages Programming Language Design and Implementation Association for Computing Machinery Vienna Summer of Logic Theoretical computer science ACM SIGACT Helmut Veith International Colloquium on Automata Languages and Programming International Conference on Functional Programming