Proving Computational Soundness of the Applied Pi-Calculus without Using Computable Parsing Hubert Comon-Lundh Masami Hagiya

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

Computational Soundness of (Interactive) Zero-Knowledge Proof Systems in the Presence of Active Adversaries Yusuke Kawamoto1 (Jointly with Gergei Bana2 and Hideki Sakurada3) 1

Source URL: www.rcis.aist.go.jp

2016 Annual Report Dear Sysco Shareholders, We are pleased to report that Sysco delivered excellent financial results during fiscalThis strong performance reflects the soundness of our strategy, a continued comm

Source URL: s1.q4cdn.com

The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

Source URL: www.isa-afp.org

If on a Winter’s Night Two Researchers… A Challenge to Assumptions of Soundness of Interpretation Copyright © 2009 Critical Approaches to Discourse Analysis across Disciplines http://cadaad.net/ejournal

Source URL: cadaad.net

NW Priority Credit Union has demonstrated the epitome of safety and soundness by earning and sustaining BauerFinancial’s 5‐Star Superior Rating for 102 consecutive quarters. The prestigious Sustained Superiority Stat

Source URL: www.nwprioritycu.org

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

• Abstract interpretation
• Models of computation
• Parallel computing
• Petri net
• Software engineering
• Computing

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

Source URL: www.crypto.ethz.ch

• Computational complexity theory
• Complexity classes
• IP
• Proof of knowledge
• NP
• Soundness
• Interactive proof system
• PSPACE
• Zero-knowledge proof
• Probabilistic complexity theory
• Mathematical proof
• Quadratic residue

FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09

Source URL: www.loria.fr

• Logic
• Proof theory
• Mathematical logic
• Philosophy
• Sequent
• Linear logic
• Soundness
• Logic programming
• Inductive reasoning