A Look at the Consequences of Internet Censorship Through an ISP Lens Sheharbano Khattak1 , Mobin Javed2 , Syed Ali Khayam3 , Zartash Afzal Uzmi4 , Vern Paxson2,5 1 University of Cambridge, 2 UC Berkeley, 3 PLUMgrid, 4

Source URL: sheharbano.com

Schedule: Sunday page 2 page 3 page 4-5 page 5-6 page 6-7

Source URL: archive.fosdem.org

• Software
• Free software
• FOSDEM
• PostgreSQL
• LLVM
• American Solar Challenge

On the Efficiency of Pollard’s Rho Method for Discrete Logarithms Shi Bai1 1 2

Source URL: maths-people.anu.edu.au

• Abstract algebra
• Algebra
• Mathematics
• Group theory
• Computational hardness assumptions
• Logarithms
• Modular arithmetic
• Finite fields
• Discrete logarithm
• Randomized algorithm
• Pollard's rho algorithm
• Index calculus algorithm

COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• NP-complete problems
• NP
• IP
• Proof of secure erasure
• Certificate
• Circuit satisfiability problem
• Commitment scheme
• Witness
• Proof of knowledge

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: csl.sri.com

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Vorvertragliche Informationspflicht Identität des Versicherers Versicherungsträger ist die Coop Rechtsschutz AG, Entfelderstrasse 2, 5001 Aarau; Tel; E-Mail: . Der Geschäftssitz befinde

Source URL: shop.beobachter.ch

Election Summary Report OFFICIAL QUESTIONS AND ISSUES ELECTION MEIGS COUNTY, OHIO MAY 2, 2017 ELECTION DAY MEIGS UNOFFICIAL SUMMARY

Source URL: meigs.ohioboe.com

GRADUATE SEMINAR Yingjie Wei Inference for Functional Data Master Student supervised by Dr. Dianliang Deng Monday, April 2, 2018

Source URL: www.uregina.ca

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

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

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2

Source URL: blockchain.princeton.edu

• Bitcoin
• Cryptocurrencies
• Free software
• Money
• Economy
• Alternative currencies
• Digital currencies
• Decentralization
• SegWit
• Blockchain
• Mining pool
• Satoshi Nakamoto