1![Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell](https://www.pdfsearch.io/img/a3d2c96b957ad9920bbaeccbaa50c3a8.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
2![SoK: Cryptographically Protected Database Search Benjamin Fuller∗ , Mayank Varia† , Arkady Yerukhimovich‡ , Emily Shen‡ , Ariel Hamlin‡ , Vijay Gadepally‡ , Richard Shay‡ , John Darby Mitchell‡ , and Robe SoK: Cryptographically Protected Database Search Benjamin Fuller∗ , Mayank Varia† , Arkady Yerukhimovich‡ , Emily Shen‡ , Ariel Hamlin‡ , Vijay Gadepally‡ , Richard Shay‡ , John Darby Mitchell‡ , and Robe](https://www.pdfsearch.io/img/df3431290182c684444fc146b4481bad.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 16:01:55
|
---|
3![Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University](https://www.pdfsearch.io/img/8dd7a80687f06064c3d82d6cd273072b.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2010-03-08 04:28:13
|
---|
4![Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist](https://www.pdfsearch.io/img/3d59555c2cee2d4f1aaef772b947a689.jpg) | Add to Reading ListSource URL: eftychis.orgLanguage: English - Date: 2018-02-16 15:03:09
|
---|
5![Analysis of the 802.11i 4-Way Handshake Changhua He John C Mitchell Analysis of the 802.11i 4-Way Handshake Changhua He John C Mitchell](https://www.pdfsearch.io/img/62d3b8c9d78791884c599afce5027570.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2004-08-10 06:08:32
|
---|
6![Toward Principled Browser Security Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, and Brad Karp
Web security Non requirements Toward Principled Browser Security Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, and Brad Karp
Web security Non requirements](https://www.pdfsearch.io/img/9467661ba5db2b94a6efdd9f3607ec50.jpg) | Add to Reading ListSource URL: www.scs.stanford.eduLanguage: English - Date: 2014-12-02 06:10:56
|
---|
7![Programming Language Methods in Computer Security John Mitchell Stanford University Programming Language Methods in Computer Security John Mitchell Stanford University](https://www.pdfsearch.io/img/9e15f040e116206225ab9ec771d45ca3.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2001-03-11 22:41:33
|
---|
8![AUTOMATICALLY DERIVED SPOKEN LANGUAGE MARKERS FOR DETECTING MILD COGNITIVE IMPAIRMENT Brian Roark, John-Paul Hosom, Margaret Mitchell Jeffrey A. Kaye Center for Spoken Language Understanding Layton Aging & Alzheimer’s AUTOMATICALLY DERIVED SPOKEN LANGUAGE MARKERS FOR DETECTING MILD COGNITIVE IMPAIRMENT Brian Roark, John-Paul Hosom, Margaret Mitchell Jeffrey A. Kaye Center for Spoken Language Understanding Layton Aging & Alzheimer’s](https://www.pdfsearch.io/img/5cd3d9aef54b6a6a862a66ad565bb2ac.jpg) | Add to Reading ListSource URL: www.m-mitchell.comLanguage: English - Date: 2013-01-29 22:40:38
|
---|
9![AUTOMATICALLY DERIVED SPOKEN LANGUAGE MARKERS FOR DETECTING MILD COGNITIVE IMPAIRMENT Brian Roark, John-Paul Hosom, Margaret Mitchell Jeffrey A. Kaye Center for Spoken Language Understanding Layton Aging & Alzheimer’s AUTOMATICALLY DERIVED SPOKEN LANGUAGE MARKERS FOR DETECTING MILD COGNITIVE IMPAIRMENT Brian Roark, John-Paul Hosom, Margaret Mitchell Jeffrey A. Kaye Center for Spoken Language Understanding Layton Aging & Alzheimer’s](https://www.pdfsearch.io/img/d27aa4dd3261ae35c1cc6fab253b6cf9.jpg) | Add to Reading ListSource URL: m-mitchell.comLanguage: English - Date: 2013-01-29 22:40:38
|
---|
10![A Promising Direction for Web Tracking Countermeasures Jason Bau, Jonathan Mayer, Hristo Paskov and John C. Mitchell Stanford University Stanford, CA {jbau, jmayer, hpaskov, jcm}@stanford.edu A Promising Direction for Web Tracking Countermeasures Jason Bau, Jonathan Mayer, Hristo Paskov and John C. Mitchell Stanford University Stanford, CA {jbau, jmayer, hpaskov, jcm}@stanford.edu](https://www.pdfsearch.io/img/28f71684434410fba47089de79a35173.jpg) | Add to Reading ListSource URL: jonathanmayer.org- Date: 2014-03-16 23:29:23
|
---|