( en | de | ru )

 

Disambiguation of "Evans, David"

Author of the publication

copydeleteadd this publication to your clipboard
Toasters, Seat Belts, and Inferring Program Properties.

. VSTTE, volume 4171 of Lecture Notes in Computer Science, page 354-361. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ilselore Evans

Jonathan Evans

Richard Evans

Neil Evans

Nathan S Evans

 

Other publications of authors with the same name

Formulaic composition in the blues: A view from the field., and . JOURNAL OF AMERICAN FOLKLORE, 120 (478): 482--499 (2007)120; 120.Enforcing End-to-End Application Security in the Cloud - (Big Ideas Paper)., , , , , and . Middleware, volume 6452 of Lecture Notes in Computer Science, page 293-312. Springer, (2010)Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper)., and . ICICS, volume 4307 of Lecture Notes in Computer Science, page 228-237. Springer, (2006)McRunjob: A High Energy Physics Workflow Planner for Grid Production Processing, , and . CoRR, (2003)Guest Editors' Introduction: The Science of Security., and . IEEE Secur. Priv., 9 (3): 16-17 (2011)Pancakes, puzzles, and polynomials: cracking the Cracker Barrel., , and . SIGACT News, 35 (1): 80-84 (2004)Optimizing Trees for Static Searchable Encryption., , and . IACR Cryptology ePrint Archive, (2018)Smoothing and Mapping using Multiple Robots., , , and . CoRR, (2018)GuardRails: A Data-Centric Web Application Security Framework., , , , and . WebApps, USENIX Association, (2011)Secure Linear Regression on Vertically Partitioned Datasets., , , , , , and . IACR Cryptology ePrint Archive, (2016)