COMPLETE COUNT COMMISSION Chicago, JRTC, 100 West Randolph, RoomSpringfield, Illinois State Library, 300 South Second Street, Room 207 Tuesday, August 28, :00 a.m. AGENDA I.

Source URL: illinoiscensus2020.com

CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers James Larisch∗ Bruce M. Maggs‡ ∗ Northeastern

Source URL: www.ieee-security.org

• Cryptography
• Transport Layer Security
• Public key infrastructure
• Public-key cryptography
• Cryptographic protocols
• Key management
• Online Certificate Status Protocol
• Certificate revocation list
• X.509
• Certificate authority
• OCSP stapling
• Public key certificate

COMPLETE COUNT COMMISSION Chicago, JRTC, 100 West Randolph, RoomSpringfield, Illinois State Library, 300 South Second Street, Room 207 Tuesday, September 25, :00 a.m. AGENDA I.

Source URL: illinoiscensus2020.com

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: www.prismmodelchecker.org

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Graph theory
• Stochastic game
• Probabilistic automaton
• Game theory
• Markov chain
• Determinacy
• Strategy
• Markov decision process

MODULI OF STOKES TORSORS AND SINGULARITIES OF DIFFERENTIAL EQUATIONS by Jean-Baptiste Teyssier Abstract. — Let M be a meromorphic connection with poles along a smooth divisor

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Algebraic geometry
• Geometry
• Moduli space
• Divisor
• Torsor
• Sheaf
• Algebraic variety

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Applied mathematics
• Computational linguistics
• Natural language processing
• Speech recognition
• Convolutional neural network
• Language model
• Long short-term memory
• Neural network

A Fistful of Bitcoins Characterizing Payments Among Men with No Names SAR AH MEIKLE JOHN, MAR JORI POMAROLE , GR ANT JORDAN, K I R I L L L E VC H E N KO , DA M O N M C C OY, G E O F F R E Y M . VO E L K E R A N D S T E

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Money
• Economy
• Currency
• Digital currencies
• Blockchains
• Mt. Gox
• Silk Road
• Satoshi Nakamoto
• BitPay

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

VERA: A Platform for Veracity Estimation over Web Data Mouhamadou Lamine Ba, Laure Berti-Equille, Kushal Shah, Hossam M. Hammady Qatar Computing Research Institute Hamad Bin Khalifa University Doha, Qatar

Source URL: gdac.uqam.ca

• Metaphysics
• Data management
• Computational linguistics
• Big data
• Technology forecasting
• Transaction processing
• Truth
• Data integration
• Natural language processing

A Path Layer for the Internet: Enabling Network Operations on Encrypted Protocols Mirja K¨uhlewind∗ , Tobias B¨uhler∗ , Brian Trammell∗ , Stephan Neuhaus† , Roman M¨untener† , and Gorry Fairhurst‡ ∗ ETH

Source URL: nsg.ee.ethz.ch

• Computing
• Network architecture
• Data transmission
• Internet Standards
• Internet protocols
• Computer networking
• Network performance
• Units of information
• Transmission Control Protocol
• QUIC
• Network address translation
• User Datagram Protocol