DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» T2 Temporal Prover
T2 Temporal Prover
SIGMOD Record, June 2018 (Vol
Composition of Software Architectures Christos Kloukinas
Towards a Unified Proof Framework for Automated Fixpoint Reasoning
COSMOS D2.2.3 State of the Art Analysis and Requirements Definition
Modeling Narrative Discourse David K. Elson
Pluginizing QUIC∗
Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems
Lattigo: a Multiparty Homomorphic Encryption Library in Go
Automating Software Development with Explicit Model Checking
Implementation Guidance for FIPS 140-2 and the Cryptographic Module Validation Program
Efficient Multi-Key Homomorphic Encryption with Packed Ciphertexts
PCI DSS E-Commerce Guidelines Information Supplement • PCI DSS E-Commerce Guidelines • January 2013
The TPM: Technical Overview of Microsoft's Interim Measures
Onsala Space Observatory the Swedish National Infrastructure for Radio Astronomy
Automatic Analysis of Termination Arguments for Java Programs
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs
Querying Encrypted Data
A Framework for Compositional Design and Analysis of Systems By
Top View
Onsala Space Observatory the Swedish National Infrastructure for Radio Astronomy
Decision Making Under Uncertainty
State of the Art Analysis and Requirements Definition
Luca-Cardelli-Fest-MSR-TR-2014
Administrative Policies and Procedures Manual
Efficient Homomorphically Encrypted Privacy-Preserving Automated Biometric Classification By