C O N V E N E C U L I N A RY LO O K B O O K SPRING / SUMMER 2018 Culinary Lookbook SPRING / SUMMER 2018

Source URL: convene.com

• Obfuscation
• Languages of Cameroon

What Links Alice and Bob? Matching and Ranking Semantic Patterns in Heterogeneous Networks ∗ Jiongqian Liang∗ , Deepak Ajwani† , Patrick K. Nicholson† ,

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Combinatorial optimization
• Search algorithms
• Network theory
• Routing algorithms
• Graph connectivity
• Graph traversal
• Shortest path problem
• Matching
• Connectivity

A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA

Source URL: rjoshi.org

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Semantics
• Edsger W. Dijkstra
• Predicate transformer semantics
• First-order logic
• FO
• Quantifier
• Equality

Design and Implementation of a Consolidated Middlebox Architecture Vyas Sekar∗ , Norbert Egi†† , Sylvia Ratnasamy† , Michael K. Reiter? , Guangyu Shi †† ∗ Intel Labs, † UC Berkeley, ? UNC Chapel Hill, †

Source URL: www3.cs.stonybrook.edu

• Computing
• Information and communications technology
• Computer network security
• Networking hardware
• Computer networking
• Data transmission
• Computer security
• Firewall software
• Middlebox
• Computer appliance
• Packet processing
• Computer network

Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2

Source URL: qav.comlab.ox.ac.uk

• Experiment
• Mathematical analysis
• Multi-objective optimization
• Markov decision process
• Probability space
• Event
• Analysis
• Probability and statistics
• Holomorphic functional calculus

Results of Tom K. Wong, United We Dream, National Immigration Law Center, and Center for American Progress National Survey Fieldedton = 1,308

Source URL: cdn.americanprogress.org

A Framework for Universally Composable Diffie-Hellman Key Exchange Ralf K¨usters and Daniel Rausch University of Stuttgart Stuttgart, Germany Email: {ralf.kuesters, daniel.rausch}@informatik.uni-stuttgart.de

Source URL: www.ieee-security.org

• Cryptography
• Public-key cryptography
• Cryptographic protocols
• Key management
• Public key infrastructure
• DiffieHellman key exchange
• Key exchange
• Forward secrecy
• RSA
• Secure channel
• XTR
• Digital signature

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

Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Abstract algebra
• Geometric group theory
• Measure theory
• Group theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Kazhdan's property
• Building

PROLONGEMENT DES FONCTIONS CONVEXES YVES DE CORNULIER ET ROMAIN TESSERA 1 Dans tout ce papier, C d´esignera un convexe ouvert non vide d’un espace vectoriel r´eel de dimension d, et K = C est son adh´erence.

Source URL: www.normalesup.org