.bo - PDFSEARCH.IO - Document Search Engine

.bo
Results: 14183

#	Item
21	SPATE: Small-group PKI-less Authenticated Trust Establishment ∗ Yue-Hsun Lin† Ahren Studer§ Hsu-Chun Hsiao§ Jonathan M. McCune§ King-Hang Wang† Maxwell Krohn§ Phen-Lan Lin◦ Adrian Perrig§ Hung-Min Sun† Bo- Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:39 Computing Information and communications technology Technology Bluetooth Wireless Computer security Computer network SMS Password Dropbox Gmail Email
22	ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 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-03-20 04:03:43 Video cards Computer architecture Computing Graphics hardware CUDA GeForce Graphics processing unit Nvidia GeForce 500 series GeForce 400 series
23	Implementing Joux-Vitse’s Crossbred Algorithm for Solving MQ Systems over F2 on GPUs Ruben Niederhagen1 , Kai-Chun Ning2 , and Bo-Yin Yang3 1 2 Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-05-02 19:49:44 Algebra Mathematics Numerical linear algebra Equations Linear algebra Hidden Field Equations Multivariate cryptography Gaussian elimination Recurrence relation Equation solving APMonitor BCD
24	A More Secure and Efficacious TTS Signature Scheme Jiun-Ming Chen and Bo-Yin Yang Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:34 Cryptography Multivariate cryptography Equations Post-quantum cryptography Quadratic RSA QUAD Algebraic geometry Algebraic equation Elliptic Curve Digital Signature Algorithm Polynomial
25	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
26	Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS Bo-Yin Yang1 and Jiun-Ming Chen2 1 Dept. of Mathematics, Tamkang University, Tamsui, Taiwan Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:43 Algebra Mathematics Linear algebra Unbalanced Oil and Vinegar Kernel Quadratic form Rank Eigenvalues and eigenvectors Linear map Matrix Hidden Field Equations
27	Practical-Sized Instances of Multivariate PKCs: Rainbow, TTS, and `IC-derivatives Anna Inn-Tung Chen1 , Chia-Hsin Owen Chen2 , Ming-Shing Chen2 , Chen-Mou Cheng1 , and Bo-Yin Yang2??? 1 Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:33
28	RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2013-05-26 08:06:24 Coding theory Error detection and correction ReedSolomon error correction NC Erasure code RAID Discrete mathematics Mathematics Theoretical computer science
29	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
30	An Axiomatic Study of Scoring Rule Markets Rafael Frongillo Bo Waggoner Add to Reading List Source URL: www.bowaggoner.com Language: English - Date: 2018-01-13 12:04:01 Mathematical logic Logic Futures markets Forecasting Market Prediction market Social information processing Survey methodology Futures contract Mathematics Scoring rule Axiom

UPDATE