Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 16-Apr-2015 | Verification of a Cryptographic Primitive: SHA-256 | Appel, Andrew W. |
| 22-Oct-2012 | Verified heap theorem prover by paramodulation | Stewart, G; Beringer, L; Appel, Andrew W. |
| 1-Jan-2014 | Portable software fault isolation | Kroll, JA; Stewart, G; Appel, Andrew W. |
| 2015 | Verified correctness and security of OpenSSL HMAC | Beringer, L; Petcher, A; Ye, K; Appel, Andrew W. |
| 1-Jan-2014 | Verified compilation for shared-memory C | Beringer, L; Stewart, G; Dockins, R; Appel, Andrew W. |
| 23-Sep-2015 | Does Product Placement Change Television Viewers’ Social Behavior? | Paluck, Elizabeth Levy; Lagunes, Paul; Green, Donald P; Vavreck, Lynn; Peer, Limor, et al |
| 9-Jan-2013 | The Neural Substrates of Social Influence on Decision Making | Tomlin, Damon; Nedic, Andrea; Prentice, Deborah A; Holmes, Philip; Cohen, Jonathan D |
| 28-Nov-2011 | VeriSmall: Verified smallfoot shape analysis | Appel, Andrew W. |
| 26-Jun-2015 | Promoting an open research culture: Author guidelines for journals could help to promote transparency, openness, and reproducibility | Nosek, BA; Alter, G; Banks, GC; Borsboom, D; Bowman, SD, et al |
| 5-Jul-2013 | Microbial–Mammalian Cometabolites Dominate the Age-associated Urinary Metabolic Phenotype in Taiwanese and American Populations | Swann, Jonathan R; Spagou, Konstantina; Lewis, Matthew; Nicholson, Jeremy K; Glei, Dana A, et al |