Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Luca Compagna

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Roberto Carbone

> Home > Persons > Luca Compagna

Publications

2017
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/SudhodananCCDAM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/SudhodananCCDAM17
Avinash Sudhodanan, Roberto Carbone, Luca Compagna, Nicolas Dolgin, Alessandro Armando, Umberto Morelli:
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries. EuroS&P 2017: 350-365
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArmandoCC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArmandoCC16
Alessandro Armando, Roberto Carbone, Luca Compagna:
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs. Int. J. Softw. Tools Technol. Transf. 18(2): 187-204 (2016)
[c30]
- view
  - electronic edition @ internetsociety.org
  - no references & citations available
- export record
  dblp key:
  - conf/ndss/SudhodananACC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/SudhodananACC16
Avinash Sudhodanan, Alessandro Armando, Roberto Carbone, Luca Compagna:
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications. NDSS 2016
2015
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CarboneCPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CarboneCPP15
Roberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta:
Security Threat Identification and Testing. ICST 2015: 1-8
2014
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ArmandoCC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ArmandoCC14
Alessandro Armando, Roberto Carbone, Luca Compagna:
SATMC: A SAT-Based Model Checker for Security-Critical Systems. TACAS 2014: 31-45
2013
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/ArmandoCCCPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/ArmandoCCCPS13
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti:
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. Comput. Secur. 33: 41-58 (2013)
2012
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò:
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
2011
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sec/ArmandoCCCPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/ArmandoCCCPS11
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti:
From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? SEC 2011: 68-79
2010
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArmandoCCLP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArmandoCCLP10
Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino:
Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops 2010: 361-370
2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/ArmandoCC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/ArmandoCC09
Alessandro Armando, Roberto Carbone, Luca Compagna:
LTL model checking for security protocols. J. Appl. Non Class. Logics 19(4): 403-429 (2009)
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/ais/RudolphCCMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ais/RudolphCCMR09
Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp:
Verification of S&D Solutions for Network Communications and Devices. Security and Dependability for Ambient Intelligence 2009: 143-163
2008
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ArmandoCCCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ArmandoCCCT08
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Llanos Tobarra:
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE 2008: 1-10
2007
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ArmandoCC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ArmandoCC07
Alessandro Armando, Roberto Carbone, Luca Compagna:
LTL Model Checking for Security Protocols. CSF 2007: 385-396

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.