The following pages link to Luca Viganò (Q549723):
Displaying 50 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Labelled modal logics: Quantifiers (Q1289100) (← links)
- Natural deduction for non-classical logics (Q1577342) (← links)
- An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\) (Q1595921) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Typing and compositionality for security protocols: a generalization to the geometric fragment (Q2165457) (← links)
- Conditional simple temporal networks with uncertainty and decisions (Q2334599) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Object-oriented modelling of flexible beams (Q2433225) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- (Q2782480) (← links)
- Towards an Awareness-Based Semantics for Security Protocol Analysis (Q2841215) (← links)
- (Q2848036) (← links)
- (Q2848475) (← links)
- Defining Privacy Is Supposed to Be Easy (Q2870157) (← links)
- Back from the future (Q2901197) (← links)
- Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)
- A Deduction System for Meaning Negotiation (Q2999239) (← links)
- Labelled natural deduction for a bundled branching temporal logic (Q3103980) (← links)
- Secure Pseudonymous Channels (Q3182856) (← links)
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols (Q3184787) (← links)
- A History of Until (Q3185767) (← links)
- Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis (Q3378195) (← links)
- Explaining Cybersecurity with Films and the Arts (Q3386713) (← links)
- Alice and Bob: Reconciling Formal Models and Implementation (Q3460863) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Labelled Tableaux for Distributed Temporal Logic (Q3656773) (← links)
- (Q4364506) (← links)
- Labelled propositional modal logics: theory and practice (Q4381865) (← links)
- (Q4385437) (← links)
- (Q4472191) (← links)
- (Q4511321) (← links)
- (Q4530621) (← links)
- Fibring Labelled Deduction Systems (Q4542941) (← links)
- (Q4737137) (← links)
- (Q4804908) (← links)
- Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity (Q4823803) (← links)
- Optimal periodic output feedback control: a continuous-time approach and a case study (Q4932803) (← links)
- Time-stamped claim logic (Q5020357) (← links)
- Don’t Tell Me the Cybersecurity Moon Is Shining… (Q5049295) (← links)
- Conditional Simple Temporal Networks with Uncertainty and Resources (Q5376632) (← links)
- Algebraic Intruder Deductions (Q5387865) (← links)
- (Q5389322) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705935) (← links)
- Foundations of Software Science and Computation Structures (Q5899104) (← links)
