pith. sign in

Luca Vigan\`o

Identifiers

  • name variant Luca Vigan\`o 0.60 · backfill

Papers (22)

  1. Time-Stamped Claim Logic cs.LO · 2019 · author #4
  2. Explaining Cybersecurity with Films and the Arts (Extended Abstract) cs.CR · 2019 · author #1
  3. It could be worse, it could be raining: reliable automatic meteorological forecasting cs.AI · 2019 · author #4
  4. Schr\"odinger's Man cs.OH · 2018 · author #1
  5. Smart Humans... WannaDie? cs.CY · 2018 · author #2
  6. MMM: May I Mine Your Mind? cs.CY · 2018 · author #2
  7. Privacy, Security and Trust in the Internet of Neurons cs.CY · 2018 · author #2
  8. Explainable Security cs.CR · 2018 · author #1
  9. A Formal Approach to Analyzing Cyber-Forensics Evidence cs.CR · 2018 · author #3
  10. A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version) cs.CR · 2017 · author #2
  11. A Formal Approach to Cyber-Physical Attacks cs.CR · 2016 · author #4
  12. Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version) cs.CR · 2016 · author #3
  13. Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) cs.CR · 2014 · author #2
  14. Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version) cs.LO · 2012 · author #3
  15. Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] cs.CR · 2011 · author #3
  16. Meaning Negotiation as Inference cs.AI · 2011 · author #3
  17. Blocking Underhand Attacks by Hidden Coalitions (Extended Version) cs.CR · 2010 · author #3
  18. Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) cs.CR · 2010 · author #3
  19. A History of Until cs.LO · 2009 · author #2
  20. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) cs.CR · 2009 · author #3
  21. Labeled Natural Deduction Systems for a Family of Tense Logics cs.LO · 2008 · author #1
  22. A Qualitative Modal Representation of Quantum Register Transformations cs.LO · 2008 · author #2

Mentions

  • 1206.3180 #3 · backfill · confidence 0.70 Luca Vigan\`o
  • 1106.3746 #3 · backfill · confidence 0.70 Luca Vigan\`o
  • 1101.4356 #3 · backfill · confidence 0.70 Luca Vigan\`o
  • 1010.4786 #3 · backfill · confidence 0.70 Luca Vigan\`o
  • 1009.4625 #3 · backfill · confidence 0.70 Luca Vigan\`o
  • 0910.4500 #2 · backfill · confidence 0.70 Luca Vigan\`o
  • 0906.4570 #3 · backfill · confidence 0.70 Luca Vigan\`o
  • 0803.3187 #1 · backfill · confidence 0.70 Luca Vigan\`o
  • 0802.4057 #2 · backfill · confidence 0.70 Luca Vigan\`o

Frequent Coauthors