Luke - PDFSEARCH.IO - Document Search Engine

Luke
Results: 4333

#	Item
1	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
2	GRADUATE SEMINAR David Luke Thiessen Models for Non-Monotone Missing at Random Data PhD Student supervised by Yang Zhao Add to Reading List Source URL: www.uregina.ca - Date: 2018-10-11 17:05:27
3	Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2017-09-13 08:39:05 Cryptography Algebra Abstract algebra Group theory Computational hardness assumptions DiffieHellman key exchange Cyclic group Logjam Generating set of a group Subgroup Whitfield Diffie Computational DiffieHellman assumption
4	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-10 04:10:19 Aircraft instruments Standards Covert channel Steganography ARINC 653 ARINC Verification Human behavior Technology User interface design Design
5	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories
6	NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive Add to Reading List Source URL: victorialin.net Language: English* - Date: 2018-10-26 01:53:41 Computing Scripting languages Xargs Semantic parsing Filter Sed GNU parallel Find Command-line interface Redirection Parsing Pipeline
7	WHITEPAPER Version 2.0 – Q1 2018 By Luke Shipley & Peter Brooke WHITEPAPER Add to Reading List Source URL: token.zinc.work Language: English - Date: 2018-10-02 04:51:00 Computing Digital media Chemistry Cryptocurrencies Recruitment LinkedIn Social media Zinc InterPlanetary File System Everipedia Switch Ethereum
8	CRYPTO20: The First Tokenized Cryptocurrency Index Fund Daniel SCHWARTZKOPFF, Luke SCHWARTZKOPFF, Raymond BOTHA, Matthew FINLAYSON with Frans CRONJE, on behalf of CRYPTO20 October 15, 2017 You are not eligible and you a Add to Reading List Source URL: cdn.crypto20.com Language: English - Date: 2018-10-19 09:04:15 Economy Money Finance Cryptocurrencies Investment Alternative currencies Funds Digital currencies Rebalancing investments Exchange-traded fund Bitcoin Active management
9	In search of CurveSwap: Measuring elliptic curve implementations in the wild Luke Valenta∗ , Nick Sullivan† , Antonio Sanso‡ , Nadia Heninger∗ ∗ University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2018-07-31 15:14:59 Cryptography Elliptic curve cryptography Elliptic-curve DiffieHellman DiffieHellman key exchange Cryptographic protocols Alice and Bob Computational hardness assumptions Transport Layer Security WolfSSH
10	LUKE T. VALENTA CONTACT INFORMATION http://lukevalenta.com Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2017-09-13 09:12:51 Cryptography Turing Award laureates Nadia Heninger Whitfield Diffie Association for Computing Machinery Alex Halderman Bitcoin Elliptic-curve cryptography Post-quantum cryptography Heninger Matthew D. Green RSA