1![Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith](https://www.pdfsearch.io/img/905fbab63489a32460227909112ef5eb.jpg) | Add to Reading ListSource URL: people.engr.ncsu.eduLanguage: English - Date: 2018-09-14 10:06:51
|
---|
2![Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W](https://www.pdfsearch.io/img/e94ab3f84280d8f9c721f40624edbf3b.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
3![ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 2: Interactive Proofs 1 ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 2: Interactive Proofs 1](https://www.pdfsearch.io/img/d7c0af24a602a79ebe6b242fd136e63c.jpg) | Add to Reading ListSource URL: gitlab-beta.engr.illinois.eduLanguage: English |
---|
4![Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When](https://www.pdfsearch.io/img/9d90c4070b7dddd402bd2cd176f9d10e.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
5![ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti](https://www.pdfsearch.io/img/fc3167c8c74483f6fccfce37d4a99e24.jpg) | Add to Reading ListSource URL: zkproof.orgLanguage: English - Date: 2018-10-25 10:32:39
|
---|
6![RESEARCH SPIVA CONTRIBUTORS Andrew Innes Associate Director RESEARCH SPIVA CONTRIBUTORS Andrew Innes Associate Director](https://www.pdfsearch.io/img/fec7b60c92b7d2426722f9e7f969b871.jpg) | Add to Reading ListSource URL: eu.spindices.comLanguage: English - Date: 2018-10-08 17:05:24
|
---|
7![ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 1: Group Theory 1 ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 1: Group Theory 1](https://www.pdfsearch.io/img/762c887db0507ec5ed3d7c6aec69ab58.jpg) | Add to Reading ListSource URL: gitlab-beta.engr.illinois.eduLanguage: English |
---|
8![Atomically Trading with Roger: Gambling on the success of a hardfork Patrick McCorry1 , Ethan Heilman2 and Andrew Miller34 1 3 Atomically Trading with Roger: Gambling on the success of a hardfork Patrick McCorry1 , Ethan Heilman2 and Andrew Miller34 1 3](https://www.pdfsearch.io/img/eaaf6938296fdecd76da249acdbd0418.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2017-07-12 08:18:52
|
---|
9![SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t](https://www.pdfsearch.io/img/f6993a6322370d9491c043b46277e9f9.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
10![Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †](https://www.pdfsearch.io/img/cd111da2969562ba204a794452c68221.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|