Naiad: A Timely Dataflow System Derek G. Murray Frank McSherry Rebecca Isaacs Michael Isard Paul Barham Mart´ın Abadi Microsoft Research Silicon Valley

Source URL: cs.stanford.edu

Understanding Visual Art with CNNs Michael Baumer Stanford University Department of Physics Derek Chen

Source URL: cs231n.stanford.edu

Good Cell, Bad Cell: Classification of Segmented Images for Suitable Quantification and Analysis Derek Macklin, Haisam Islam, Jonathan Lu December 14, 2012 Abstract—While open-source tools exist to automatically

Source URL: cs229.stanford.edu

Geolocation Prediction in Twitter Using Social Networks: A Critical Analysis and Review of Current Practice David Jurgens, Tyler Finnethy, James McCorriston, Yi Tian Xu, Derek Ruths , druths@networkdy

Source URL: cs.stanford.edu

Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract

Source URL: www.cs.bris.ac.uk

Distortion as a Validation Criterion in the Identification of Suspicious Reviews Guangyu Wu, Derek Greene, Barry Smyth, Pádraig Cunningham School of Computer Science and Informatics University College Dublin, Ireland

Source URL: snap.stanford.edu

Available online at www.sciencedirect.com ScienceDirect The future of whole-cell modeling Derek N Macklin1,3, Nicholas A Ruggero2,3 and Markus W Covert1 Integrated whole-cell modeling is poised to make a dramatic

Source URL: covert.stanford.edu

• Bioinformatics
• Biology
• Systems science
• Academia
• Systems biology
• Scientific modeling
• Mollicutes
• Sexually transmitted diseases and infections
• Mycoplasma genitalium
• Modelling biological systems
• Mycoplasma
• Synthetic biology

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar

Source URL: seclab.stanford.edu

• Logic
• Mathematics
• Abstraction
• Formal languages
• Mathematical logic
• Linear temporal logic
• Temporal logic
• Automated theorem proving
• Propositional calculus
• Substitution
• IP
• Interpretation

Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. We investigate inductive methods for proving secrecy p

Source URL: seclab.stanford.edu

• Cryptography
• Authentication protocols
• Computer network security
• Ciphertext indistinguishability
• DolevYao model
• Advantage
• Kerberos
• Cryptographic protocol
• Security parameter
• XTR
• Challengeresponse authentication
• Security protocol notation

Secure Protocol Composition Anupam Datta John C. Mitchell Ante Derek Dusko Pavlovic

Source URL: seclab.stanford.edu

• Cryptography
• Key management
• Shared secret
• Cryptographic protocol
• Challengeresponse authentication
• Key-agreement protocol