🏛️ The Logic in CS Crypt
cs.LO: Where Logic in CS papers rest without their code.
1397
Total Papers
1
No Code
1305
Twilight
91
Has Code
6.5%
Survival Rate
🔮
🔮
The Ethereal
🔮
🔮
The Ethereal
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
🔮
🔮
The Ethereal
Formalising Decentralised Exchanges in Coq
🔮
🔮
The Ethereal
Internal parametricity, without an interval
🔮
🔮
The Ethereal
Towards a Certified Proof Checker for Deep Neural Network Verification
🔮
🔮
The Ethereal
Incremental maintenance of overgrounded logic programs with tailored simplifications
🔮
🔮
The Ethereal
eclingo: A solver for Epistemic Logic Programs
🔮
🔮
The Ethereal
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
🔮
🔮
The Ethereal
Learning Concepts Definable in First-Order Logic with Counting
🔮
🔮
The Ethereal
Gray-box Monitoring of Hyperproperties (Extended Version)
🔮
🔮
The Ethereal
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
🔮
🔮
The Ethereal
Runtime Verification For Timed Event Streams With Partial Information
🔮
🔮
The Ethereal
Taking Linear Logic Apart
🔮
🔮
The Ethereal
Model-Based Safety and Security Engineering
🔮
🔮
The Ethereal
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
🔮
🔮
The Ethereal
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
🔮
🔮
The Ethereal
The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
🔮
🔮
The Ethereal
Model Checking Social Network Models
🔮
🔮
The Ethereal
Predicate Pairing for Program Verification
🔮
🔮
The Ethereal
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
🔮
🔮
The Ethereal
Hierarchical State Machines as Modular Horn Clauses
🔮
🔮
The Ethereal
Program Derivation by Correctness Enhacements
🔮
🔮
The Ethereal
Extending ACL2 with SMT Solvers
🔮
🔮
The Ethereal