J
John C. Mitchell
Researcher at Stanford University
Publications - 714
Citations - 38051
John C. Mitchell is an academic researcher from Stanford University. The author has contributed to research in topics: Medicine & Cryptographic protocol. The author has an hindex of 104, co-authored 676 publications receiving 36467 citations. Previous affiliations of John C. Mitchell include Midwestern University & Duke University.
Papers
More filters
Proceedings ArticleDOI
Design of a role-based trust-management framework
TL;DR: The RT framework, a family of role-based trust management languages for representing policies and credentials in distributed authorization, is introduced, and the semantics of credentials are defined by presenting a translation from credentials to Datalog rules.
Book
Architectural support for copy and tamper-resistant software
David Lie Chandramohan Thekkath,Mark Mitchell,Patrick Lincoln,Dan Boneh,John C. Mitchell,Mark Horowitz +5 more
TL;DR: The hardware implementation of a form of execute-only memory (XOM) that allows instructions stored in memory to be executed but not otherwise manipulated is studied, indicating that it is possible to create a normal multi-tasking machine where nearly all applications can be run in XOM mode.
Journal ArticleDOI
Improved search for muon-neutrino to electron-neutrino oscillations in MINOS
P. Adamson,D. J. Auty,D. S. Ayres,C. Backhouse,G.D. Barr,M. Betancourt,M. Bishai,Andrew Blake,G. J. Bock,D. J. Boehnlein,D. Bogert,S. V. Cao,S. Cavanaugh,D. Cherdack,S. Childress,Joao A B Coelho,L. Corwin,D. Cronin-Hennessy,I. Z. Danko,J. K. de Jong,N. E. Devenish,M. V. Diwan,M. Dorman,Carlos Escobar,J. J. Evans,E. Falk,G. J. Feldman,M. V. Frohne,H. R. Gallagher,R. A. Gomes,Maury Goodman,P. Gouffon,N. Graf,R. Gran,K. Grzelak,Alec Habig,J. Hartnell,R. Hatcher,A. Himmel,A. Holin,Xian-Rong Huang,J. Hylen,G. M. Irwin,Z. Isvan,D. E. Jaffe,C. James,D. A. Jensen,T. Kafka,S. M. S. Kasahara,G. Koizumi,Sacha E Kopp,M. Kordosky,A. E. Kreymer,Karol Lang,G. Lefeuvre,P. J. Litchfield,L. Loiacono,P. Lucas,W. A. Mann,Marvin L Marshak,M. Mathis,N. Mayer,A. M. McGowan,R. Mehdiyev,J. R. Meier,M. D. Messier,D. G. Michael,W. H. Miller,S. R. Mishra,John C. Mitchell,C. D. Moore,L. Mualem,S. L. Mufson,J. A. Musser,D. Naples,J. K. Nelson,Harvey B Newman,R. J. Nichol,J. A. Nowak,Juan Pedro Ochoa-Ricoux,W. P. Oliver,M. Orchanian,J. M. Paley,R. B. Patterson,Gregory J Pawloski,G. F. Pearce,S. Phan-Budd,R. K. Plunkett,X. Qiu,J. Ratchford,B. Rebel,C. Rosenfeld,H. A. Rubin,M. C. Sanchez,J. Schneps,A. Schreckenberger,P. Schreiner,P. Shanahan,Rohit Sharma,A. Sousa,N. Tagg,R. L. Talaga,J. C. Thomas,M. A. Thomson,R. Toner,D. Torretta,G. Tzanakos,J. Urheim,P. Vahle,B. Viren,J. Walding,A. C. Weber,R. C. Webb,C. White,L. H. Whitehead,Stanley G. Wojcicki,T. Yang,R. Zwaska +117 more
TL;DR: The results of a search for ν(e) appearance in a ν (μ) beam in the MINOS long-baseline neutrino experiment find that 2 sin(2) (θ(23))sin(2)(2θ (13))<0.12 at 90% confidence level for δ = 0 and the normal (inverted) neutrinos mass hierarchy.
Book
Foundations for Programming Languages
TL;DR: The language PCF as mentioned in this paper is a model-programming language for lambda xxx with type variables type inference with polymorphic declarations, and it can be seen as a generalization of the notion of simply typed lambda calculus.
Proceedings ArticleDOI
Third-Party Web Tracking: Policy and Technology
Jonathan Mayer,John C. Mitchell +1 more
TL;DR: The current policy debate surrounding third-party web tracking is surveyed and the FourthParty web measurement platform is presented, to inform researchers with essential background and tools for contributing to public understanding and policy debates about web tracking.