Justin - PDFSEARCH.IO - Document Search Engine

Justin
Results: 3679

#	Item
21	Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 15:02:20 LTE Technology Mobile technology Wireless Software-defined radio Mobile telecommunications ENodeB System Architecture Evolution Telecommunications E-UTRA User equipment Mobility management
22	COSC 544 Probabilistic Proof SystemsInteractive Proofs & Arguments, Low-Degree & Multilinear Extensions Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 21:24:56 Mathematics Computational complexity theory Algebra Polynomials Randomized algorithms Complexity classes IP Interactive proof system NP ArthurMerlin protocol SchwartzZippel lemma Soundness
23	Poster: Can Johnny Authenticate? Elham Vaziripour, Ray Clinton, Justin Wu, Mark O’Neill, Jordan Whitehead, Scott Heidbrink, Kent Seamons, Daniel Zappala Computer Science Department, Brigham Young University elhamvaziri Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 03:43:28 Software Computing Computer-mediated communication Instant messaging clients Social media Videotelephony Computer access control Cross-platform software Signal WhatsApp Instant messaging Authentication
24	COSC 544 Probabilistic Proof SystemsLFKN’s Interactive Proof for #SAT Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:56 Computational complexity theory Complexity classes Boolean algebra IP True quantified Boolean formula Interactive proof system PSPACE NP Boolean satisfiability problem FO Linear temporal logic ArthurMerlin protocol
25	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 1) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-10 11:45:28 Circuit complexity Complexity classes Theory of computation Theoretical computer science Computer science NC Circuit Computer IP NP Multiplication algorithm Matrix multiplication algorithm
26	COSC 544 Probabilistic Proof SystemsThe GKR Protocol and Its Efficient Implementation Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 11:09:52 Computational complexity theory Mathematics Complexity classes IP Circuit complexity True quantified Boolean formula NP SchwartzZippel lemma NC
27	COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-16 18:20:55 Mathematics Complexity classes Randomized algorithms IP Probabilistically checkable proof NP NEXPTIME Soundness Variable Interactive proof system Proof of knowledge
28	Full Accounting for Verifiable Outsourcing Riad S. Wahby⋆ abhi shelat‡ Justin Thaler△ ⋆ Stanford Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54
29	COSC 544 Probabilistic Proof SystemsA PCP of Quasilinear Size for Arithmetic Circuit-SAT Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-22 13:48:36 Mathematics Algebra Polynomials Probabilistically checkable proof Computer algebra IP Complex number MAX-3SAT
30	Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/ Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2017-04-03 00:44:42 Human behavior Deception Communication World Wide Web Hoax Disinformation Twitter Misinformation Reliability of Wikipedia Sockpuppet Block Internet troll

UPDATE