PDF Document

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

• Computing
• Software
• World Wide Web
• Hacking
• Ajax
• Internet privacy
• Computer network security
• Web browsers
• Content Security Policy
• HTTP cookie
• Cross-origin resource sharing
• Cross-site request forgery

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

From the Consent of the Routed: Improving the Transparency of the RPKI Full version from June 9, 2014. Ethan Heilman Danny Cooper Leonid Reyzin

Source URL: cs-people.bu.edu

Pisa: Arbitration Outsourcing for State Channels Patrick McCorry Surya Bakshi Iddo Bentov

Source URL: www.cs.cornell.edu

• Cryptocurrencies
• Economy
• Money
• Financial services
• Smart contract
• Blockchain
• Ethereum
• Bitcoin
• Cheque
• Settlement
• Lightning Network

This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

Source URL: www.cs.utah.edu

• Computer programming
• Software engineering
• Computing
• Source code
• Programming languages
• Transformation languages
• Metaprogramming
• Lambda calculus
• Macro
• Hygienic macro
• Syntax
• Anonymous function

Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

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

• Theoretical computer science
• Formal methods
• Mathematics
• Logic in computer science
• Mathematical logic
• Automated theorem proving
• School of Computer Science
• University of Manchester
• Automated reasoning
• Formal verification
• E theorem prover
• IP
• Satisfiability modulo theories

A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

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

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport

Picocenter: Supporting long-lived, mostly-idle applications in cloud environments Liang Zhang† James Litton‡ Frank Cangialosi‡ §

Source URL: cs.brown.edu

• Cloud computing
• Computing
• Cloud infrastructure
• As a service
• Cloud storage
• Serverless computing
• Google App Engine
• Paging
• Heroku
• Virtualization
• Platform as a service
• Infrastructure as a service

COSC 544 Probabilistic Proof SystemsLFKN’s Interactive Proof for #SAT Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Computational complexity theory
• Complexity classes
• Boolean algebra
• IP
• True quantified Boolean formula
• Interactive proof system
• PSPACE
• NP
• Boolean satisfiability problem
• FO
• Linear temporal logic
• ArthurMerlin protocol