Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Source URL: www.dcs.ed.ac.uk

• Internet architecture
• Computing
• Network architecture
• Internet
• Quality of service
• Teletraffic
• Resource Reservation Protocol
• Network protocols
• Integrated services
• Mobile IP
• Handover
• RSVP

Genotype Sequence Segmentation: Handling Constraints and Noise Qi Zhang, Wei Wang, Leonard McMillan, Jan Prins Fernando Pardo-Manuel de Villena, David Threadgill UNC Chapel Hill

Source URL: web.cs.ucla.edu

Inferring novel associations between SNP sets and gene sets in eQTL study using sparse graphical model Wei Cheng 1 , Xiang Zhang 2 , Yubao Wu 2 , Xiaolin Yin 2 , Jing Li 2 , David Heckerman 3 , and Wei Wang 4 1

Source URL: web.cs.ucla.edu

Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm

Source URL: web.cs.ucla.edu

Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm

Source URL: www.cs.unc.edu

Why does cryptographic software fail? A case study and open problems David Lazar, Haogang Chen, Xi Wang, and Nickolai Zeldovich MIT CSAIL if ((err = SSLHashSHA1.update(...)) != 0)

Source URL: people.csail.mit.edu

• Cryptography
• Cryptographic software
• Cryptographic protocols
• Transport Layer Security
• Secure communication
• Cryptographic primitive
• Cryptographic engineering
• OpenSSL
• Cryptographic hash function
• Padding oracle attack
• Man-in-the-middle attack
• Cryptographically secure pseudorandom number generator

Mixed-Signal Stochastic Computation Demonstrated in an Image Sensor with Integrated 2D Edge Detection and Noise Filtering David Fick, Gyouho Kim, Allan Wang, David Blaauw, Dennis Sylvester University of Michigan, Ann Arb

Source URL: blaauw.engin.umich.edu

Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde

Source URL: joshm.web.engr.illinois.edu

Formal Verication of UML Statecharts with Real-Time Extensions? Alexandre David , M. Oliver Moller , and Wang Yi 1 2

Source URL: www.it.uu.se

Experience Report: An Industrial Experience Report on Test Outsourcing Practices Xin Xia∗ , David Lo† , Pavneet Singh Kochhar† , Zhenchang Xing‡ , Xinyu Wang∗\ , and Shanping Li∗ ∗ College of Computer Scie

Source URL: soarsmu.github.io