Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

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

• Computer arithmetic
• Arithmetic
• Computing
• Binary arithmetic
• Theory of computation
• Data types
• IEEE standards
• Decimal64 floating-point format
• IEEE 754
• Double-precision floating-point format
• cole normale suprieure de Lyon
• Algorithm

Computational Social Choice UPS Toulouse, 2015 Matching In a variant of the fair allocation problem, we try to match each agent

Source URL: formal.iti.kit.edu

• Mathematics
• Computational complexity theory
• Lloyd Shapley
• Matching
• Combinatorics
• Game theory
• Cooperative games
• Stable marriage problem
• CC
• Shapley
• Marriage problem

Computational Social Choice UPS Toulouse, 2015 Fair Allocation of Goods Consider a set of agents and a set of goods. Each agent has her own

Source URL: formal.iti.kit.edu

• Fair division
• Welfare economics
• Game theory
• Last diminisher
• Bronisaw Knaster
• Microeconomics
• Intelligent agent
• Mathematics
• Economics

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Source URL: pxtp.github.io

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Logical framework
• Proof theory
• First-order logic
• Lambda calculus
• Calculus of constructions

Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

Source URL: dream.inf.ed.ac.uk

• Cryptography
• Pyruvate dehydrogenase lipoamide kinase isozyme 1
• Key management
• Digital signature
• Key

Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Software testing
• Theoretical computer science
• Software engineering
• Satisfiability modulo theories
• Solver
• Test automation
• Fuzzing
• Application programming interface
• Model-based testing
• API testing

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Humancomputer interaction
• User interface techniques
• Human behavior
• Software architecture
• Computing
• Computer
• User interface
• Graphical user interface

Prof. Dr. Bernhard Beckert

Source URL: formal.iti.kit.edu

Discovering Concrete Attacks on Website Authorization by Formal Analysis

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

• Computing
• Computer access control
• Computer security
• Cloud standards
• Federated identity
• Security
• OAuth
• Cross-site request forgery
• OpenID
• Cross-site scripting
• Social login
• HTTP cookie

A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg

Source URL: www.isse.uni-augsburg.de

• Computer architecture
• System software
• Computing
• C POSIX library
• System calls
• POSIX
• Network file systems
• Inode
• Andrew File System
• Stat
• File system
• Virtual file system