MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1

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

• Markov processes
• Probability theory
• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• Reinforcement learning
• Memorylessness

Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

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

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Mathematical analysis
• Topology
• Convex analysis
• Measure theory
• Order theory
• Cover
• General topology
• Convex function
• Support
• Interval

............................................................... .............................................................. ............................................................... .............................

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

• Computer network security
• Cyberwarfare
• Computing
• Computer security
• Web applications
• Software testing
• OWASP
• Application security
• Web application security
• Automated threat
• Vulnerability
• Denial-of-service attack

AC P M | AC A R R eBLAST The ACPM eBlast Program is a service that allows you to deliver a customized electronic message to thousands of industry professionals across the country. Our database includes plan sponsors, ad

Source URL: www.acpm.com

Hiding in the Crowd: an Analysis of the E�ectiveness of Browser Fingerprinting at Large Scale Alejandro Gómez-Boix Univ Rennes, Inria, CNRS, IRISA Rennes, France

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

Obfuscating Conjunctions under Entropic Ring LWE∗ Zvika Brakerski† Weizmann Vinod Vaikuntanathan‡ MIT

Source URL: www.wisdom.weizmann.ac.il

• Cryptography
• Post-quantum cryptography
• Lattice-based cryptography
• Ring learning with errors
• Learning with errors
• Obfuscation
• Lattice

Concolic Testing for Deep Neural Networks

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

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

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

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

PDF Document

Source URL: www.cl.cam.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Predicate logic
• Classical logic
• Proof theory
• Constructivism
• Semantics
• Propositional calculus
• First-order logic
• Intuitionistic logic
• Well-formed formula