Zhang Xi - PDFSEARCH.IO - Document Search Engine

Zhang Xi
Results: 49

#	Item
1	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
2	Poster: Understanding Free-riding Attacks in Internet Zero-rating Services Zhiheng Liu, Zhen Zhang, Shihao Jing, Zhaohan Xi and Yinzhi Cao Lehigh University 27 Memorial Dr W, Bethlehem, PA, USA [zhl416][zhza16][shj316][z Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 04:51:38 Computing Internet Computer network security Internet privacy Information and communications technology Transport Layer Security Cryptographic protocols Secure communication HTTP cookie HTTPS Deep packet inspection Man-in-the-middle attack
3	Customizing Progressive JPEG for Efficient Image Storage Eddie Yan† , Kaiyuan Zhang† , Xi Wang† , Karin Strauss‡† , and Luis Ceze† ‡ Microsoft Research and † University of Washington Abstract Modern image Add to Reading List Source URL: locore.cs.washington.edu Language: English - Date: 2017-05-23 02:50:04
4	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: homes.cs.washington.edu Language: English - Date: 2017-11-14 17:29:18
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: homes.cs.washington.edu - Date: 2017-11-16 17:34:46
6	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: homes.cs.washington.edu - Date: 2017-10-04 19:47:21
7	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: locore.cs.washington.edu - Date: 2017-10-04 19:15:09
8	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang locore.cs.washington.edu/hyperkernel Goal: Fully automated ker Add to Reading List Source URL: locore.cs.washington.edu - Date: 2017-11-17 15:12:15
9	Automated Inference on Criminality using Face Images Xiaolin Wu McMaster University Shanghai Jiao Tong University Xi Zhang Add to Reading List Source URL: arxiv.org - Date: 2016-11-21 20:13:58
10	Human a1b3c2L gamma-aminobutyric acid type A receptors: High-level production and purification in a functional state Zuzana Dostalova,1,2 Xiaojuan Zhou,1 Aiping Liu,1 Xi Zhang,1,2 Yinghui Zhang,1,2 Rooma Desai,1 Stuart A Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Biology Cell biology Biochemistry Ion channels Membrane biology Protein families Ionotropic receptors Molecular neuroscience GABAA receptor Receptor Gamma-Aminobutyric acid Cys-loop receptors