An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

Journal of Computer Security–657 DOIJCSIOS Press 601

Source URL: www.doc.ic.ac.uk

• Computing
• Computer access control
• Computer security
• Cloud standards
• Federated identity
• Internet protocols
• Cryptographic protocols
• OAuth
• Cross-site request forgery
• Social login
• OpenID
• Single sign-on

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

Source URL: www.doc.ic.ac.uk

• Mathematical logic
• Mathematics
• Theoretical computer science
• Lambda calculus
• Deductive reasoning
• Natural deduction
• Proof theory
• Symbol
• System F
• -calculus
• Holomorphic functional calculus
• Security type system

Securing Frame Communication in Browsers Adam Barth Stanford University Collin Jackson

Source URL: www.doc.ic.ac.uk

• Computing
• Cyberwarfare
• Computer security
• Computer network security
• World Wide Web
• Hacking
• Transport Layer Security
• Cryptographic protocols
• Same-origin policy
• Cross-site scripting
• Browser security
• Framing

PDF Document

Source URL: www.ic.gc.ca

PDF Document

Source URL: www.doc.ic.ac.uk

PDF Document

Source URL: ic.uci.edu

PDF Document

Source URL: www.ba.ic.cnr.it

PDF Document

Source URL: wwwhomes.doc.ic.ac.uk

PDF Document

Source URL: www.doc.ic.ac.uk