Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Silvio Ranise
@inproceedings{DBLP:conf/icin/BerlatoCSR24,
author = {Stefano Berlato and
Silvio Cretti and
Domenico Siracusa and
Silvio Ranise},
editor = {Prosper Chemouil and
Barbara Martini and
Carmen Mas Machuca and
Panagiotis Papadimitriou and
Davide Borsatti and
St{\'{e}}phane Rovedakis},
title = {Multi-Objective Microservice Orchestration: Balancing Security and
Performance in {CCAM}},
booktitle = {27th Conference on Innovation in Clouds, Internet and Networks, {ICIN}
2024, Paris, France, March 11-14, 2024},
pages = {88--90},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICIN60470.2024.10494482},
doi = {10.1109/ICIN60470.2024.10494482},
timestamp = {Fri, 19 Apr 2024 13:46:47 +0200},
biburl = {https://dblp.org/rec/conf/icin/BerlatoCSR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2023w2,
editor = {Sokratis K. Katsikas and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Rita Maria Ugarelli and
Isabel Pra{\c{c}}a and
Wenjuan Li and
Weizhi Meng and
Steven Furnell and
Basel Katt and
Sandeep Pirbhulal and
Ankur Shukla and
Michele Ianni and
Mila Dalla Preda and
Kim{-}Kwang Raymond Choo and
Miguel Pupo Correia and
Abhishta Abhishta and
Giovanni Sileno and
Mina Alishahi and
Harsha K. Kalutarage and
Naoto Yanai},
title = {Computer Security. {ESORICS} 2023 International Workshops - CPS4CIP,
ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The
Netherlands, September 25-29, 2023, Revised Selected Papers, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {14399},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-54129-2},
doi = {10.1007/978-3-031-54129-2},
isbn = {978-3-031-54128-5},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/2023w2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-08196,
author = {Andrea Flamini and
Giada Sciarretta and
Mario Scuro and
Amir Sharif and
Alessandro Tomasi and
Silvio Ranise},
title = {On Cryptographic Mechanisms for the Selective Disclosure of Verifiable
Credentials},
journal = {CoRR},
volume = {abs/2401.08196},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.08196},
doi = {10.48550/ARXIV.2401.08196},
eprinttype = {arXiv},
eprint = {2401.08196},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-08196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/MollaeefarR23,
author = {Majid Mollaeefar and
Silvio Ranise},
title = {Identifying and quantifying trade-offs in multi-stakeholder risk evaluation
with applications to the data protection impact assessment of the
{GDPR}},
journal = {Comput. Secur.},
volume = {129},
pages = {103206},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2023.103206},
doi = {10.1016/J.COSE.2023.103206},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/MollaeefarR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/SharifMSMCR23,
author = {Amir Sharif and
Francesco Antonio Marino and
Giada Sciarretta and
Giuseppe De Marco and
Roberto Carbone and
Silvio Ranise},
title = {Cross-Domain Sharing of User Claims: {A} Design Proposal for OpenID
Connect Attribute Authorities},
booktitle = {Proceedings of the 18th International Conference on Availability,
Reliability and Security, {ARES} 2023, Benevento, Italy, 29 August
2023- 1 September 2023},
pages = {20:1--20:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600160.3600183},
doi = {10.1145/3600160.3600183},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/SharifMSMCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/AnsaroudiCSR23,
author = {Zahra Ebadi Ansaroudi and
Roberto Carbone and
Giada Sciarretta and
Silvio Ranise},
editor = {Vijayalakshmi Atluri and
Anna Lisa Ferrara},
title = {Control is Nothing Without Trust a First Look into Digital Identity
Wallet Trends},
booktitle = {Data and Applications Security and Privacy {XXXVII} - 37th Annual
{IFIP} {WG} 11.3 Conference, DBSec 2023, Sophia-Antipolis, France,
July 19-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13942},
pages = {113--132},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37586-6\_7},
doi = {10.1007/978-3-031-37586-6\_7},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/AnsaroudiCSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/SassettiSSCR23,
author = {Gianluca Sassetti and
Amir Sharif and
Giada Sciarretta and
Roberto Carbone and
Silvio Ranise},
editor = {Vijayalakshmi Atluri and
Anna Lisa Ferrara},
title = {Assurance, Consent and Access Control for Privacy-Aware {OIDC} Deployments},
booktitle = {Data and Applications Security and Privacy {XXXVII} - 37th Annual
{IFIP} {WG} 11.3 Conference, DBSec 2023, Sophia-Antipolis, France,
July 19-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13942},
pages = {203--222},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37586-6\_13},
doi = {10.1007/978-3-031-37586-6\_13},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/SassettiSSCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/FlaminiRSSS023,
author = {Andrea Flamini and
Silvio Ranise and
Giada Sciarretta and
Mario Scuro and
Amir Sharif and
Alessandro Tomasi},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {A First Appraisal of Cryptographic Mechanisms for the Selective Disclosure
of Verifiable Credentials},
booktitle = {Proceedings of the 20th International Conference on Security and Cryptography,
{SECRYPT} 2023, Rome, Italy, July 10-12, 2023},
pages = {123--134},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012084000003555},
doi = {10.5220/0012084000003555},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/FlaminiRSSS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2022w,
editor = {Sokratis K. Katsikas and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Christos Kalloniatis and
John Mylopoulos and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Jorge Maestre Vidal and
Marco Antonio Sotelo Monge and
Massimiliano Albanese and
Basel Katt and
Sandeep Pirbhulal and
Ankur Shukla},
title = {Computer Security. {ESORICS} 2022 International Workshops - CyberICPS
2022, {SECPRE} 2022, {SPOSE} 2022, {CPS4CIP} 2022, CDT{\&}SECOMANE
2022, {EIS} 2022, and SecAssure 2022, Copenhagen, Denmark, September
26-30, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13785},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-25460-4},
doi = {10.1007/978-3-031-25460-4},
isbn = {978-3-031-25459-8},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sacmat/2023,
editor = {Silvio Ranise and
Roberto Carbone and
Daniel Takabi},
title = {Proceedings of the 28th {ACM} Symposium on Access Control Models and
Technologies, {SACMAT} 2023, Trento, Italy, June 7-9, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589608},
doi = {10.1145/3589608},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/AhmadMRZ22,
author = {Tahir Ahmad and
Umberto Morelli and
Silvio Ranise and
Nicola Zannone},
title = {Extending access control in {AWS} IoT through event-driven functions:
an experimental evaluation using a smart lock system},
journal = {Int. J. Inf. Sec.},
volume = {21},
number = {2},
pages = {379--408},
year = {2022},
url = {https://doi.org/10.1007/s10207-021-00558-3},
doi = {10.1007/S10207-021-00558-3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/AhmadMRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/SharifCSR22,
author = {Amir Sharif and
Roberto Carbone and
Giada Sciarretta and
Silvio Ranise},
title = {Best current practices for OAuth/OIDC Native Apps: {A} study of their
adoption in popular providers and top-ranked Android clients},
journal = {J. Inf. Secur. Appl.},
volume = {65},
pages = {103097},
year = {2022},
url = {https://doi.org/10.1016/j.jisa.2021.103097},
doi = {10.1016/J.JISA.2021.103097},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/SharifCSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/ManfrediCSR22,
author = {Salvatore Manfredi and
Mariano Ceccato and
Giada Sciarretta and
Silvio Ranise},
title = {Empirical Validation on the Usability of Security Reports for Patching
{TLS} Misconfigurations: User- and Case-Studies on Actionable Mitigations},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {13},
number = {1},
pages = {56--86},
year = {2022},
url = {https://doi.org/10.22667/JOWUA.2022.03.31.056},
doi = {10.22667/JOWUA.2022.03.31.056},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jowua/ManfrediCSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/BerlatoCLR22,
author = {Stefano Berlato and
Roberto Carbone and
Adam J. Lee and
Silvio Ranise},
title = {Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures
for Cryptographic Access Control in the Cloud},
journal = {{ACM} Trans. Priv. Secur.},
volume = {25},
number = {1},
pages = {2:1--2:37},
year = {2022},
url = {https://doi.org/10.1145/3474056},
doi = {10.1145/3474056},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/BerlatoCLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/BerlatoCR22,
author = {Stefano Berlato and
Marco Centenaro and
Silvio Ranise},
title = {Smart Card-Based Identity Management Protocols for {V2V} and {V2I}
Communications in {CCAM:} {A} Systematic Literature Review},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {23},
number = {8},
pages = {10086--10103},
year = {2022},
url = {https://doi.org/10.1109/TITS.2021.3118721},
doi = {10.1109/TITS.2021.3118721},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/BerlatoCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/SharifRCSR22,
author = {Amir Sharif and
Matteo Ranzi and
Roberto Carbone and
Giada Sciarretta and
Silvio Ranise},
title = {SoK: {A} Survey on Technological Trends for (pre)Notified eIDAS Electronic
Identity Schemes},
booktitle = {{ARES} 2022: The 17th International Conference on Availability, Reliability
and Security, Vienna,Austria, August 23 - 26, 2022},
pages = {85:1--85:10},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3538969.3543817},
doi = {10.1145/3538969.3543817},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/SharifRCSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AhmadMR22,
author = {Tahir Ahmad and
Umberto Morelli and
Silvio Ranise},
title = {Distributed Enforcement of Access Control policies in Intelligent
Transportation System {(ITS)} for Situation Awareness},
booktitle = {{ARES} 2022: The 17th International Conference on Availability, Reliability
and Security, Vienna,Austria, August 23 - 26, 2022},
pages = {86:1--86:10},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3538969.3543792},
doi = {10.1145/3538969.3543792},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/AhmadMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/RizziMSR22,
author = {Matteo Rizzi and
Salvatore Manfredi and
Giada Sciarretta and
Silvio Ranise},
editor = {Anupam Joshi and
Maribel Fern{\'{a}}ndez and
Rakesh M. Verma},
title = {A Modular and Extensible Framework for Securing {TLS}},
booktitle = {{CODASPY} '22: Twelveth {ACM} Conference on Data and Application Security
and Privacy, Baltimore, MD, USA, April 24 - 27, 2022},
pages = {119--124},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508398.3511505},
doi = {10.1145/3508398.3511505},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/RizziMSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/BerlatoMCR22,
author = {Stefano Berlato and
Umberto Morelli and
Roberto Carbone and
Silvio Ranise},
editor = {Shamik Sural and
Haibing Lu},
title = {End-to-End Protection of IoT Communications Through Cryptographic
Enforcement of Access Control Policies},
booktitle = {Data and Applications Security and Privacy {XXXVI} - 36th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18-20, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13383},
pages = {236--255},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10684-2\_14},
doi = {10.1007/978-3-031-10684-2\_14},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/BerlatoMCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/RizziMSR22,
author = {Matteo Rizzi and
Salvatore Manfredi and
Giada Sciarretta and
Silvio Ranise},
editor = {Sven Dietrich and
Omar Chowdhury and
Daniel Takabi},
title = {Demo: TLSAssistant v2: {A} Modular and Extensible Framework for Securing
{TLS}},
booktitle = {{SACMAT} '22: The 27th {ACM} Symposium on Access Control Models and
Technologies, New York, NY, USA, June 8 - 10, 2022},
pages = {271--272},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3532105.3535042},
doi = {10.1145/3532105.3535042},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/RizziMSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2021cicps,
editor = {Sokratis K. Katsikas and
Costas Lambrinoudakis and
Nora Cuppens and
John Mylopoulos and
Christos Kalloniatis and
Weizhi Meng and
Steven Furnell and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Jorge Maestre Vidal and
Marco Antonio Sotelo Monge},
title = {Computer Security. {ESORICS} 2021 International Workshops - CyberICPS,
SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT{\&}SECOMANE, Darmstadt,
Germany, October 4-8, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13106},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-95484-0},
doi = {10.1007/978-3-030-95484-0},
isbn = {978-3-030-95483-3},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/2021cicps.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07385,
author = {Majid Mollaeefar and
Silvio Ranise},
title = {Identifying and Quantifying Trade-offs in Multi-Stakeholder Risk Evaluation
with Applications to the Data Protection Impact Assessment of the
{GDPR}},
journal = {CoRR},
volume = {abs/2207.07385},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07385},
doi = {10.48550/ARXIV.2207.07385},
eprinttype = {arXiv},
eprint = {2207.07385},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vtm/CentenaroBCBCRR21,
author = {Marco Centenaro and
Stefano Berlato and
Roberto Carbone and
Gianfranco Burzio and
Giuseppe Faranda Cordella and
Roberto Riggio and
Silvio Ranise},
title = {Safety-Related Cooperative, Connected, and Automated Mobility Services:
Interplay Between Functional and Security Requirements},
journal = {{IEEE} Veh. Technol. Mag.},
volume = {16},
number = {4},
pages = {78--88},
year = {2021},
url = {https://doi.org/10.1109/MVT.2021.3089144},
doi = {10.1109/MVT.2021.3089144},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vtm/CentenaroBCBCRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MorelliVRC21,
author = {Umberto Morelli and
Ivan Vaccari and
Silvio Ranise and
Enrico Cambiaso},
editor = {Delphine Reinhardt and
Tilo M{\"{u}}ller},
title = {DoS Attacks in Available {MQTT} Implementations: Investigating the
Impact on Brokers and Devices, and supported Anti-DoS Protections},
booktitle = {{ARES} 2021: The 16th International Conference on Availability, Reliability
and Security, Vienna, Austria, August 17-20, 2021},
pages = {82:1--82:9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465481.3470049},
doi = {10.1145/3465481.3470049},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/MorelliVRC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/ManfrediCSR21,
author = {Salvatore Manfredi and
Mariano Ceccato and
Giada Sciarretta and
Silvio Ranise},
editor = {Delphine Reinhardt and
Tilo M{\"{u}}ller},
title = {Do Security Reports Meet Usability?: Lessons Learned from Using Actionable
Mitigations for Patching {TLS} Misconfigurations},
booktitle = {{ARES} 2021: The 16th International Conference on Availability, Reliability
and Security, Vienna, Austria, August 17-20, 2021},
pages = {141:1--141:13},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465481.3469187},
doi = {10.1145/3465481.3469187},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/ManfrediCSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/LeonelliMSR21,
author = {Matteo Leonelli and
Umberto Morelli and
Giada Sciarretta and
Silvio Ranise},
editor = {Anupam Joshi and
Barbara Carminati and
Rakesh M. Verma},
title = {Secure Pull Printing with {QR} Codes and National eID Cards: {A} Software-oriented
Design and an Open-source Implementation},
booktitle = {{CODASPY} '21: Eleventh {ACM} Conference on Data and Application Security
and Privacy, Virtual Event, USA, April 26-28, 2021},
pages = {251--256},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3422337.3447847},
doi = {10.1145/3422337.3447847},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/LeonelliMSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/DashtiSCR21,
author = {Salimeh Dashti and
Amir Sharif and
Roberto Carbone and
Silvio Ranise},
editor = {Ken Barker and
Kambiz Ghazinour},
title = {Automated Risk Assessment and What-if Analysis of OpenID Connect and
OAuth 2.0 Deployments},
booktitle = {Data and Applications Security and Privacy {XXXV} - 35th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2021, Calgary, Canada, July 19-20, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12840},
pages = {325--337},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81242-3\_19},
doi = {10.1007/978-3-030-81242-3\_19},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/DashtiSCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaa/BisegnaCR21,
author = {Andrea Bisegna and
Roberto Carbone and
Silvio Ranise},
editor = {Andrea Saracino and
Paolo Mori},
title = {Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery
Pipeline},
booktitle = {Emerging Technologies for Authorization and Authentication - 4th International
Workshop, {ETAA} 2021, Darmstadt, Germany, October 8, 2021, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13136},
pages = {94--110},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-93747-8\_7},
doi = {10.1007/978-3-030-93747-8\_7},
timestamp = {Wed, 19 Jan 2022 09:36:11 +0100},
biburl = {https://dblp.org/rec/conf/etaa/BisegnaCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/MasciaR21,
author = {Carla Mascia and
Silvio Ranise},
editor = {Esma A{\"{\i}}meur and
Maryline Laurent and
Reda Yaich and
Beno{\^{\i}}t Dupont and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Asset Sensitivity for Aligning Risk Assessment Across Multiple Units
in Complex Organizations},
booktitle = {Foundations and Practice of Security - 14th International Symposium,
{FPS} 2021, Paris, France, December 7-10, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13291},
pages = {365--375},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-08147-7\_25},
doi = {10.1007/978-3-031-08147-7\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fps/MasciaR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/PernprunerSR21,
author = {Marco Pernpruner and
Giada Sciarretta and
Silvio Ranise},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {A Framework for Security and Risk Analysis of Enrollment Procedures:
Application to Fully-remote Solutions based on eDocuments},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {222--233},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010554502220233},
doi = {10.5220/0010554502220233},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/PernprunerSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/BerlatoCR21,
author = {Stefano Berlato and
Roberto Carbone and
Silvio Ranise},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {Cryptographic Enforcement of Access Control Policies in the Cloud:
Implementation and Experimental Assessment},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {370--381},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010608003700381},
doi = {10.5220/0010608003700381},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/BerlatoCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/DashtiOKDR21,
author = {Salimeh Dashti and
Anderson Santana de Oliveira and
Caelin Kaplan and
Manuel Dalcastagn{\'{e}} and
Silvio Ranise},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {Can Data Subject Perception of Privacy Risks Be Useful in a Data Protection
Impact Assessment?},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {827--832},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010602608270832},
doi = {10.5220/0010602608270832},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/DashtiOKDR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smds/DemissieR21,
author = {Biniam Fisseha Demissie and
Silvio Ranise},
editor = {Nimanthi L. Atukorala and
Carl K. Chang and
Ernesto Damiani and
Min Fu and
George Spanoudakis and
Mudhakar Srivatsa and
Zhongjie Wang and
Jia Zhang},
title = {Assessing the Effectiveness of the Shared Responsibility Model for
Cloud Databases: the Case of Google's Firebase},
booktitle = {{IEEE} International Conference on Smart Data Services, {SMDS} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {121--131},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SMDS53860.2021.00026},
doi = {10.1109/SMDS53860.2021.00026},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/smds/DemissieR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smds/Heider-AvietOBR21,
author = {Andreas Heider{-}Aviet and
Danny Roswin Ollik and
Stefano Berlato and
Silvio Ranise and
Roberto Carbone and
Van Thanh Le and
Nabil El Ioini and
Claus Pahl and
Hamid R. Barzegar},
editor = {Nimanthi L. Atukorala and
Carl K. Chang and
Ernesto Damiani and
Min Fu and
George Spanoudakis and
Mudhakar Srivatsa and
Zhongjie Wang and
Jia Zhang},
title = {Blockchain Based {RAN} Data Sharing},
booktitle = {{IEEE} International Conference on Smart Data Services, {SMDS} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {152--161},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SMDS53860.2021.00029},
doi = {10.1109/SMDS53860.2021.00029},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smds/Heider-AvietOBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpscip/2020,
editor = {Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Rita Maria Ugarelli and
Gabriele Giunta and
Isabel Pra{\c{c}}a and
Federica Battisti},
title = {Cyber-Physical Security for Critical Infrastructures Protection -
First International Workshop, {CPS4CIP} 2020, Guildford, UK, September
18, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12618},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-69781-5},
doi = {10.1007/978-3-030-69781-5},
isbn = {978-3-030-69780-8},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpscip/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/ContiKRR20,
author = {Mauro Conti and
Pallavi Kaliyar and
Md Masoom Rabbani and
Silvio Ranise},
title = {Attestation-enabled secure and scalable routing protocol for IoT networks},
journal = {Ad Hoc Networks},
volume = {98},
year = {2020},
url = {https://doi.org/10.1016/j.adhoc.2019.102054},
doi = {10.1016/J.ADHOC.2019.102054},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adhoc/ContiKRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/AmbrosinCLRR20,
author = {Moreno Ambrosin and
Mauro Conti and
Riccardo Lazzeretti and
Md Masoom Rabbani and
Silvio Ranise},
title = {Collective Remote Attestation at the Internet of Things Scale: State-of-the-Art
and Future Challenges},
journal = {{IEEE} Commun. Surv. Tutorials},
volume = {22},
number = {4},
pages = {2447--2461},
year = {2020},
url = {https://doi.org/10.1109/COMST.2020.3008879},
doi = {10.1109/COMST.2020.3008879},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsur/AmbrosinCLRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fdata/AbbiatiRSS20,
author = {Giovanni Abbiati and
Silvio Ranise and
Antonio Schizzerotto and
Alberto Siena},
title = {Merging Datasets of CyberSecurity Incidents for Fun and Insight},
journal = {Frontiers Big Data},
volume = {3},
pages = {521132},
year = {2020},
url = {https://doi.org/10.3389/fdata.2020.521132},
doi = {10.3389/FDATA.2020.521132},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fdata/AbbiatiRSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KushchBR20,
author = {Sergii Kushch and
Yurii Baryshev and
Silvio Ranise},
title = {Blockchain Tree as Solution for Distributed Storage of Personal {ID}
Data and Document Access Control},
journal = {Sensors},
volume = {20},
number = {13},
pages = {3621},
year = {2020},
url = {https://doi.org/10.3390/s20133621},
doi = {10.3390/S20133621},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/KushchBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/DushkuRCMR20,
author = {Edlira Dushku and
Md Masoom Rabbani and
Mauro Conti and
Luigi V. Mancini and
Silvio Ranise},
title = {{SARA:} Secure Asynchronous Remote Attestation for IoT Systems},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {15},
pages = {3123--3136},
year = {2020},
url = {https://doi.org/10.1109/TIFS.2020.2983282},
doi = {10.1109/TIFS.2020.2983282},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/DushkuRCMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/SciarrettaCRV20,
author = {Giada Sciarretta and
Roberto Carbone and
Silvio Ranise and
Luca Vigan{\`{o}}},
title = {Formal Analysis of Mobile Multi-Factor Authentication with Single
Sign-On Login},
journal = {{ACM} Trans. Priv. Secur.},
volume = {23},
number = {3},
pages = {13:1--13:37},
year = {2020},
url = {https://doi.org/10.1145/3386685},
doi = {10.1145/3386685},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/SciarrettaCRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/5gwf/CentenaroBCBCRR20,
author = {Marco Centenaro and
Stefano Berlato and
Roberto Carbone and
Gianfranco Burzio and
Giuseppe Faranda Cordella and
Silvio Ranise and
Roberto Riggio},
title = {Security Considerations on 5G-Enabled Back-Situation Awareness for
{CCAM}},
booktitle = {3rd {IEEE} 5G World Forum, 5GWF 2020, Bangalore, India, September
10-12, 2020},
pages = {245--250},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/5GWF49715.2020.9221064},
doi = {10.1109/5GWF49715.2020.9221064},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/5gwf/CentenaroBCBCRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BerlatoCLR20,
author = {Stefano Berlato and
Roberto Carbone and
Adam J. Lee and
Silvio Ranise},
editor = {Hung{-}Min Sun and
Shiuh{-}Pyng Shieh and
Guofei Gu and
Giuseppe Ateniese},
title = {Exploring Architectures for Cryptographic Access Control Enforcement
in the Cloud for Fun and Optimization},
booktitle = {{ASIA} {CCS} '20: The 15th {ACM} Asia Conference on Computer and Communications
Security, Taipei, Taiwan, October 5-9, 2020},
pages = {208--221},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3320269.3384767},
doi = {10.1145/3320269.3384767},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/BerlatoCLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/PernprunerCRS20,
author = {Marco Pernpruner and
Roberto Carbone and
Silvio Ranise and
Giada Sciarretta},
editor = {Vassil Roussev and
Bhavani Thuraisingham and
Barbara Carminati and
Murat Kantarcioglu},
title = {The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication
with eID Cards and Push Notifications: Design, Formal and Risk Analysis},
booktitle = {{CODASPY} '20: Tenth {ACM} Conference on Data and Application Security
and Privacy, New Orleans, LA, USA, March 16-18, 2020},
pages = {223--234},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3374664.3375727},
doi = {10.1145/3374664.3375727},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/PernprunerCRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpscip/ManfrediRST20,
author = {Salvatore Manfredi and
Silvio Ranise and
Giada Sciarretta and
Alessandro Tomasi},
editor = {Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Rita Maria Ugarelli and
Gabriele Giunta and
Isabel Pra{\c{c}}a and
Federica Battisti},
title = {TLSAssistant Goes {FINSEC} {A} Security Platform Integration Extending
Threat Intelligence Language},
booktitle = {Cyber-Physical Security for Critical Infrastructures Protection -
First International Workshop, {CPS4CIP} 2020, Guildford, UK, September
18, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12618},
pages = {16--30},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69781-5\_2},
doi = {10.1007/978-3-030-69781-5\_2},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpscip/ManfrediRST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/SharifCSR20,
author = {Amir Sharif and
Roberto Carbone and
Giada Sciarretta and
Silvio Ranise},
editor = {Andrea Saracino and
Paolo Mori},
title = {Automated and Secure Integration of the OpenID Connect iGov Profile
in Mobile Native Applications},
booktitle = {Emerging Technologies for Authorization and Authentication - Third
International Workshop, {ETAA} 2020, Guildford, UK, September 18,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12515},
pages = {50--70},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64455-0\_4},
doi = {10.1007/978-3-030-64455-0\_4},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/SharifCSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BisegnaCPR20,
author = {Andrea Bisegna and
Roberto Carbone and
Giulio Pellizzari and
Silvio Ranise},
editor = {Andrea Saracino and
Paolo Mori},
title = {Micro-Id-Gym: {A} Flexible Tool for Pentesting Identity Management
Protocols in the Wild and in the Laboratory},
booktitle = {Emerging Technologies for Authorization and Authentication - Third
International Workshop, {ETAA} 2020, Guildford, UK, September 18,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12515},
pages = {71--89},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64455-0\_5},
doi = {10.1007/978-3-030-64455-0\_5},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/BisegnaCPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/GoncalvesTBPR20,
author = {S{\'{e}}rgio Manuel N{\'{o}}brega Gon{\c{c}}alves and
Alessandro Tomasi and
Andrea Bisegna and
Giulio Pellizzari and
Silvio Ranise},
editor = {Ioana Boureanu and
Constantin Catalin Dragan and
Mark Manulis and
Thanassis Giannetsos and
Christoforos Dadoyan and
Panagiotis Gouvas and
Roger A. Hallman and
Shujun Li and
Victor Chang and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse},
title = {Verifiable Contracting - {A} Use Case for Onboarding and Contract
Offering in Financial Services with eIDAS and Verifiable Credentials},
booktitle = {Computer Security - {ESORICS} 2020 International Workshops, DETIPS,
DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12580},
pages = {133--144},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66504-3\_8},
doi = {10.1007/978-3-030-66504-3\_8},
timestamp = {Sun, 10 Dec 2023 06:07:27 +0100},
biburl = {https://dblp.org/rec/conf/esorics/GoncalvesTBPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/MollaeefarSR20,
author = {Majid Mollaeefar and
Alberto Siena and
Silvio Ranise},
editor = {Pierangela Samarati and
Sabrina De Capitani di Vimercati and
Mohammad S. Obaidat and
Jalel Ben{-}Othman},
title = {Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection},
booktitle = {Proceedings of the 17th International Joint Conference on e-Business
and Telecommunications, {ICETE} 2020 - Volume 2: SECRYPT, Lieusaint,
Paris, France, July 8-10, 2020},
pages = {349--356},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009822703490356},
doi = {10.5220/0009822703490356},
timestamp = {Wed, 29 Jul 2020 16:57:35 +0200},
biburl = {https://dblp.org/rec/conf/icete/MollaeefarSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/AhmadMR20,
author = {Tahir Ahmad and
Umberto Morelli and
Silvio Ranise},
editor = {Jorge Lobo and
Scott D. Stoller and
Peng Liu},
title = {Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum
with the help of the {CAP} Theorem},
booktitle = {Proceedings of the 25th {ACM} Symposium on Access Control Models and
Technologies, {SACMAT} 2020, Barcelona, Spain, June 10-12, 2020},
pages = {213--220},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3381991.3395617},
doi = {10.1145/3381991.3395617},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/AhmadMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2019iosec,
editor = {Apostolos P. Fournaris and
Manos Athanatos and
Konstantinos Lampropoulos and
Sotiris Ioannidis and
George Hatzivasilis and
Ernesto Damiani and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Alberto Siena and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Computer Security - {ESORICS} 2019 International Workshops, IOSec,
MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11981},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-42051-2},
doi = {10.1007/978-3-030-42051-2},
isbn = {978-3-030-42050-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/2019iosec.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/ManfrediRS19,
author = {Salvatore Manfredi and
Silvio Ranise and
Giada Sciarretta},
editor = {Simon N. Foley},
title = {Lost in TLS? No More! Assisted Deployment of Secure {TLS} Configurations},
booktitle = {Data and Applications Security and Privacy {XXXIII} - 33rd Annual
{IFIP} {WG} 11.3 Conference, DBSec 2019, Charleston, SC, USA, July
15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11559},
pages = {201--220},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22479-0\_11},
doi = {10.1007/978-3-030-22479-0\_11},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/ManfrediRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/SinigagliaCCR19,
author = {Federico Sinigaglia and
Roberto Carbone and
Gabriele Costa and
Silvio Ranise},
editor = {Andrea Saracino and
Paolo Mori},
title = {MuFASA: {A} Tool for High-level Specification and Analysis of Multi-factor
Authentication Protocols},
booktitle = {Emerging Technologies for Authorization and Authentication - Second
International Workshop, {ETAA} 2019, Luxembourg City, Luxembourg,
September 27, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11967},
pages = {138--155},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-39749-4\_9},
doi = {10.1007/978-3-030-39749-4\_9},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/SinigagliaCCR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/MorelliNR19,
author = {Umberto Morelli and
Lorenzo Nicolodi and
Silvio Ranise},
editor = {Apostolos P. Fournaris and
Manos Athanatos and
Konstantinos Lampropoulos and
Sotiris Ioannidis and
George Hatzivasilis and
Ernesto Damiani and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Alberto Siena and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {An Open and Flexible CyberSecurity Training Laboratory in {IT/OT}
Infrastructures},
booktitle = {Computer Security - {ESORICS} 2019 International Workshops, IOSec,
MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11981},
pages = {140--155},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-42051-2\_10},
doi = {10.1007/978-3-030-42051-2\_10},
timestamp = {Mon, 03 Jan 2022 22:15:08 +0100},
biburl = {https://dblp.org/rec/conf/esorics/MorelliNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/RaniseST19,
author = {Silvio Ranise and
Giada Sciarretta and
Alessandro Tomasi},
editor = {Abdelmalek Benzekri and
Michel Barbeau and
Guang Gong and
Romain Laborde and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Enroll, and Authentication Will Follow - eID-Based Enrollment for
a Customized, Secure, and Frictionless Authentication Experience},
booktitle = {Foundations and Practice of Security - 12th International Symposium,
{FPS} 2019, Toulouse, France, November 5-7, 2019, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12056},
pages = {156--171},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45371-8\_10},
doi = {10.1007/978-3-030-45371-8\_10},
timestamp = {Wed, 07 Dec 2022 23:10:28 +0100},
biburl = {https://dblp.org/rec/conf/fps/RaniseST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/SharifCRS19,
author = {Amir Sharif and
Roberto Carbone and
Silvio Ranise and
Giada Sciarretta},
editor = {Mohammad S. Obaidat and
Pierangela Samarati},
title = {A Wizard-based Approach for Secure Code Generation of Single Sign-On
and Access Delegation Solutions for Mobile Native Apps},
booktitle = {Proceedings of the 16th International Joint Conference on e-Business
and Telecommunications, {ICETE} 2019 - Volume 2: SECRYPT, Prague,
Czech Republic, July 26-28, 2019},
pages = {268--275},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007930502680275},
doi = {10.5220/0007930502680275},
timestamp = {Tue, 06 Jun 2023 14:58:02 +0200},
biburl = {https://dblp.org/rec/conf/icete/SharifCRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/DashtiR19,
author = {Salimeh Dashti and
Silvio Ranise},
editor = {Mohammad S. Obaidat and
Pierangela Samarati},
title = {A Tool-assisted Methodology for the Data Protection Impact Assessment},
booktitle = {Proceedings of the 16th International Joint Conference on e-Business
and Telecommunications, {ICETE} 2019 - Volume 2: SECRYPT, Prague,
Czech Republic, July 26-28, 2019},
pages = {276--283},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007932202760283},
doi = {10.5220/0007932202760283},
timestamp = {Wed, 18 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icete/DashtiR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotbd/AbbiatiRSS19,
author = {Giovanni Abbiati and
Silvio Ranise and
Antonio Schizzerotto and
Alberto Siena},
editor = {Muthu Ramachandran and
Robert John Walters and
Gary B. Wills and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Victor Chang},
title = {Learning from Others' Mistakes: An Analysis of Cyber-security Incidents},
booktitle = {Proceedings of the 4th International Conference on Internet of Things,
Big Data and Security, IoTBDS 2019, Heraklion, Crete, Greece, May
2-4, 2019},
pages = {299--306},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007721202990306},
doi = {10.5220/0007721202990306},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iotbd/AbbiatiRSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotsms/ContiDMRR19,
author = {Mauro Conti and
Edlira Dushku and
Luigi V. Mancini and
Md Masoom Rabbani and
Silvio Ranise},
editor = {Mohammad A. Alsmirat and
Yaser Jararweh},
title = {Remote Attestation as a Service for IoT},
booktitle = {Sixth International Conference on Internet of Things: Systems, Management
and Security, {IOTSMS} 2019, Granada, Spain, October 22-25, 2019},
pages = {320--325},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IOTSMS48152.2019.8939224},
doi = {10.1109/IOTSMS48152.2019.8939224},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iotsms/ContiDMRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/primelife/DashtiR19,
author = {Salimeh Dashti and
Silvio Ranise},
editor = {Michael Friedewald and
Melek {\"{O}}nen and
Eva Lievens and
Stephan Krenn and
Samuel Fricker},
title = {Tool-Assisted Risk Analysis for Data Protection Impact Assessment},
booktitle = {Privacy and Identity Management. Data for Better Living: {AI} and
Privacy - 14th {IFIP} {WG} 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International
Summer School, Windisch, Switzerland, August 19-23, 2019, Revised
Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {576},
pages = {308--324},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-42504-3\_20},
doi = {10.1007/978-3-030-42504-3\_20},
timestamp = {Fri, 14 May 2021 08:34:20 +0200},
biburl = {https://dblp.org/rec/conf/primelife/DashtiR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/PalmieriPRMA19,
author = {Andrea Palmieri and
Paolo Prem and
Silvio Ranise and
Umberto Morelli and
Tahir Ahmad},
editor = {Carl K. Chang and
Peter Chen and
Michael Goul and
Katsunori Oyama and
Stephan Reiff{-}Marganiec and
Yanchun Sun and
Shangguang Wang and
Zhongjie Wang},
title = {{MQTTSA:} {A} Tool for Automatically Assisting the Secure Deployments
of {MQTT} Brokers},
booktitle = {2019 {IEEE} World Congress on Services, {SERVICES} 2019, Milan, Italy,
July 8-13, 2019},
pages = {47--53},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SERVICES.2019.00023},
doi = {10.1109/SERVICES.2019.00023},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/services/PalmieriPRMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/MorelliRSST19,
author = {Umberto Morelli and
Silvio Ranise and
Damiano Sartori and
Giada Sciarretta and
Alessandro Tomasi},
editor = {Sjouke Mauw and
Mauro Conti},
title = {Audit-Based Access Control with a Distributed Ledger: Applications
to Healthcare Organizations},
booktitle = {Security and Trust Management - 15th International Workshop, {STM}
2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11738},
pages = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31511-5\_2},
doi = {10.1007/978-3-030-31511-5\_2},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/MorelliRSST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-04613,
author = {Sergii Kushch and
Silvio Ranise and
Giada Sciarretta},
title = {Blockchain Tree for eHealth},
journal = {CoRR},
volume = {abs/1908.04613},
year = {2019},
url = {http://arxiv.org/abs/1908.04613},
eprinttype = {arXiv},
eprint = {1908.04613},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-07579,
author = {Sergii Kushch and
Yurii Baryshev and
Silvio Ranise},
title = {Blockchain Tree as Solution for Distributed Storage of Personal {ID}
Data and Document Access Control},
journal = {CoRR},
volume = {abs/1910.07579},
year = {2019},
url = {http://arxiv.org/abs/1910.07579},
eprinttype = {arXiv},
eprint = {1910.07579},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-07579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/RaniseTV18,
author = {Silvio Ranise and
Anh Tuan Truong and
Luca Vigan{\`{o}}},
title = {Automated and efficient analysis of administrative temporal {RBAC}
policies with role hierarchies},
journal = {J. Comput. Secur.},
volume = {26},
number = {4},
pages = {423--458},
year = {2018},
url = {https://doi.org/10.3233/JCS-15756},
doi = {10.3233/JCS-15756},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/RaniseTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/AhmadR18,
author = {Tahir Ahmad and
Silvio Ranise},
editor = {Nur Zincir{-}Heywood and
Guillaume Bonfante and
Mourad Debbabi and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Validating Requirements of Access Control for Cloud-Edge IoT Solutions
(Short Paper)},
booktitle = {Foundations and Practice of Security - 11th International Symposium,
{FPS} 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11358},
pages = {131--139},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18419-3\_9},
doi = {10.1007/978-3-030-18419-3\_9},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/fps/AhmadR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/SciarrettaCR018,
author = {Giada Sciarretta and
Roberto Carbone and
Silvio Ranise and
Luca Vigan{\`{o}}},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {Design, Formal Specification and Analysis of Multi-Factor Authentication
Solutions with a Single Sign-On Experience},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {188--213},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_8},
doi = {10.1007/978-3-319-89722-6\_8},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/SciarrettaCR018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/primelife/CarboneRS18,
author = {Roberto Carbone and
Silvio Ranise and
Giada Sciarretta},
editor = {Eleni Kosta and
Jo Pierson and
Daniel Slamanig and
Simone Fischer{-}H{\"{u}}bner and
Stephan Krenn},
title = {Design and Security Assessment of Usable Multi-factor Authentication
and Single Sign-On Solutions for Mobile Applications - {A} Workshop
Experience Report},
booktitle = {Privacy and Identity Management. Fairness, Accountability, and Transparency
in the Age of Big Data - 13th {IFIP} {WG} 9.2, 9.6/11.7, 11.6/SIG
9.2.2 International Summer School, Vienna, Austria, August 20-24,
2018, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {547},
pages = {51--66},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-16744-8\_4},
doi = {10.1007/978-3-030-16744-8\_4},
timestamp = {Sun, 25 Oct 2020 23:04:38 +0100},
biburl = {https://dblp.org/rec/conf/primelife/CarboneRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BertolissiSR18,
author = {Clara Bertolissi and
Daniel Ricardo dos Santos and
Silvio Ranise},
editor = {Elisa Bertino and
Dan Lin and
Jorge Lobo},
title = {Solving Multi-Objective Workflow Satisfiability Problems with Optimization
Modulo Theories Techniques},
booktitle = {Proceedings of the 23nd {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2018, Indianapolis, IN, USA, June 13-15,
2018},
pages = {117--128},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205977.3205982},
doi = {10.1145/3205977.3205982},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/BertolissiSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/AhmadMRZ18,
author = {Tahir Ahmad and
Umberto Morelli and
Silvio Ranise and
Nicola Zannone},
editor = {Elisa Bertino and
Dan Lin and
Jorge Lobo},
title = {A Lazy Approach to Access Control as a Service (ACaaS) for IoT: An
{AWS} Case Study},
booktitle = {Proceedings of the 23nd {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2018, Indianapolis, IN, USA, June 13-15,
2018},
pages = {235--246},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205977.3205989},
doi = {10.1145/3205977.3205989},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/AhmadMRZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siot/AmbrosinCLRR18,
author = {Moreno Ambrosin and
Mauro Conti and
Riccardo Lazzeretti and
Md Masoom Rabbani and
Silvio Ranise},
title = {{PADS:} Practical Attestation for Highly Dynamic Swarm Topologies},
booktitle = {2018 International Workshop on Secure Internet of Things, SIoT 2018,
Barcelona, Spain, September 6, 2018},
pages = {18--27},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SIoT.2018.00009},
doi = {10.1109/SIOT.2018.00009},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/siot/AmbrosinCLRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimob/ContiKRR18,
author = {Mauro Conti and
Pallavi Kaliyar and
Md Masoom Rabbani and
Silvio Ranise},
title = {{SPLIT:} {A} Secure and Scalable {RPL} routing protocol for Internet
of Things},
booktitle = {14th International Conference on Wireless and Mobile Computing, Networking
and Communications, WiMob 2018, Limassol, Cyprus, October 15-17, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WiMOB.2018.8589115},
doi = {10.1109/WIMOB.2018.8589115},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wimob/ContiKRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-05766,
author = {Moreno Ambrosin and
Mauro Conti and
Riccardo Lazzeretti and
Md Masoom Rabbani and
Silvio Ranise},
title = {{PADS:} Practical Attestation for Highly Dynamic Swarm Topologies},
journal = {CoRR},
volume = {abs/1806.05766},
year = {2018},
url = {http://arxiv.org/abs/1806.05766},
eprinttype = {arXiv},
eprint = {1806.05766},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-05766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/TurkmenHRZ17,
author = {Fatih Turkmen and
Jerry den Hartog and
Silvio Ranise and
Nicola Zannone},
title = {Formal analysis of {XACML} policies using {SMT}},
journal = {Comput. Secur.},
volume = {66},
pages = {185--203},
year = {2017},
url = {https://doi.org/10.1016/j.cose.2017.01.009},
doi = {10.1016/J.COSE.2017.01.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/TurkmenHRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/SciarrettaCRA17,
author = {Giada Sciarretta and
Roberto Carbone and
Silvio Ranise and
Alessandro Armando},
title = {Anatomy of the Facebook solution for mobile single sign-on: Security
assessment and improvements},
journal = {Comput. Secur.},
volume = {71},
pages = {71--86},
year = {2017},
url = {https://doi.org/10.1016/j.cose.2017.04.011},
doi = {10.1016/J.COSE.2017.04.011},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/SciarrettaCRA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/SantosRCP17,
author = {Daniel Ricardo dos Santos and
Silvio Ranise and
Luca Compagna and
Serena Elisa Ponta},
title = {Automatically finding execution scenarios to deploy security-sensitive
workflows},
journal = {J. Comput. Secur.},
volume = {25},
number = {3},
pages = {255--282},
year = {2017},
url = {https://doi.org/10.3233/JCS-16894},
doi = {10.3233/JCS-16894},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/SantosRCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/TruongRN17,
author = {Anh Truong and
Silvio Ranise and
Thanh Tung Nguyen},
title = {Scalable Automated Analysis of Access Control and Privacy Policies},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {36},
pages = {142--171},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-56266-6\_7},
doi = {10.1007/978-3-662-56266-6\_7},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tlsdkcs/TruongRN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/CompagnaSPR17,
author = {Luca Compagna and
Daniel Ricardo dos Santos and
Serena Elisa Ponta and
Silvio Ranise},
editor = {Gail{-}Joon Ahn and
Alexander Pretschner and
Gabriel Ghinita},
title = {Aegis: Automatic Enforcement of Security Policies in Workflow-driven
Web Applications},
booktitle = {Proceedings of the Seventh {ACM} Conference on Data and Application
Security and Privacy, {CODASPY} 2017, Scottsdale, AZ, USA, March 22-24,
2017},
pages = {321--328},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3029806.3029813},
doi = {10.1145/3029806.3029813},
timestamp = {Wed, 16 Sep 2020 11:48:10 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/CompagnaSPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/GuardaRS17,
author = {Paolo Guarda and
Silvio Ranise and
Hari Siswantoro},
editor = {Elisa Bertino and
Ravi S. Sandhu and
Edgar R. Weippl},
title = {Security Analysis and Legal Compliance Checking for the Design of
Privacy-friendly Information Systems},
booktitle = {Proceedings of the 22nd {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2017, Indianapolis, IN, USA, June 21-23,
2017},
pages = {247--254},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3078861.3078879},
doi = {10.1145/3078861.3078879},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/GuardaRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RaniseS17,
author = {Silvio Ranise and
Hari Siswantoro},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Automated Legal Compliance Checking by Security Policy Analysis},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10489},
pages = {361--372},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66284-8\_30},
doi = {10.1007/978-3-319-66284-8\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RaniseS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/MorelliR17,
author = {Umberto Morelli and
Silvio Ranise},
editor = {Sabrina De Capitani di Vimercati and
Fabio Martinelli},
title = {Assisted Authoring, Analysis and Enforcement of Access Control Policies
in the Cloud},
booktitle = {{ICT} Systems Security and Privacy Protection - 32nd {IFIP} {TC} 11
International Conference, {SEC} 2017, Rome, Italy, May 29-31, 2017,
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {502},
pages = {296--309},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58469-0\_20},
doi = {10.1007/978-3-319-58469-0\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/MorelliR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SantosR17,
author = {Daniel Ricardo dos Santos and
Silvio Ranise},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {On Run-Time Enforcement of Authorization Constraints in Security-Sensitive
Workflows},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {203--218},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_13},
doi = {10.1007/978-3-319-66197-1\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SantosR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wisec/AmbrosinCLRR17,
author = {Moreno Ambrosin and
Mauro Conti and
Riccardo Lazzeretti and
Md Masoom Rabbani and
Silvio Ranise},
editor = {Guevara Noubir and
Mauro Conti and
Sneha Kumar Kasera},
title = {Toward secure and efficient attestation for highly dynamic swarms:
poster},
booktitle = {Proceedings of the 10th {ACM} Conference on Security and Privacy in
Wireless and Mobile Networks, WiSec 2017, Boston, MA, USA, July 18-20,
2017},
pages = {281--282},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098243.3106026},
doi = {10.1145/3098243.3106026},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wisec/AmbrosinCLRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SantosR17,
author = {Daniel Ricardo dos Santos and
Silvio Ranise},
title = {A Survey on Workflow Satisfiability, Resiliency, and Related Problems},
journal = {CoRR},
volume = {abs/1706.07205},
year = {2017},
url = {http://arxiv.org/abs/1706.07205},
eprinttype = {arXiv},
eprint = {1706.07205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SantosR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RaniseTT16,
author = {Silvio Ranise and
Anh Tuan Truong and
Riccardo Traverso},
title = {Parameterized model checking for security policy analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {5},
pages = {559--573},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0410-1},
doi = {10.1007/S10009-015-0410-1},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RaniseTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/ArmandoRTW16,
author = {Alessandro Armando and
Silvio Ranise and
Riccardo Traverso and
Konrad S. Wrona},
editor = {Elisa Bertino and
Ravi S. Sandhu and
Ram Krishnan},
title = {SMT-based Enforcement and Analysis of {NATO} Content-based Protection
and Release Policies},
booktitle = {Proceedings of the 2016 {ACM} International Workshop on Attribute
Based Access Control, ABAC@CODASPY 2016, New Orleans, Louisiana, USA,
March 11, 2016},
pages = {35--46},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2875491.2875493},
doi = {10.1145/2875491.2875493},
timestamp = {Tue, 09 Feb 2021 08:50:28 +0100},
biburl = {https://dblp.org/rec/conf/codaspy/ArmandoRTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdse/TruongR16,
author = {Anh Tuan Truong and
Silvio Ranise},
editor = {Tran Khanh Dang and
Roland R. Wagner and
Josef K{\"{u}}ng and
Nam Thoai and
Makoto Takizawa and
Erich J. Neuhold},
title = {{ASASPXL:} New Clother for Analysing {ARBAC} Policies},
booktitle = {Future Data and Security Engineering - Third International Conference,
{FDSE} 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10018},
pages = {267--284},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48057-2\_19},
doi = {10.1007/978-3-319-48057-2\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdse/TruongR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcis/WronaOARTFM16,
author = {Konrad S. Wrona and
Sander Oudkerk and
Alessandro Armando and
Silvio Ranise and
Riccardo Traverso and
Lisa Ferrari and
Richard McEvoy},
title = {Assisted content-based labelling and classification of documents},
booktitle = {International Conference on Military Communications and Information
Systems, {ICMCIS} 2016, Brussels, Belgium, May 23-24, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICMCIS.2016.7496589},
doi = {10.1109/ICMCIS.2016.7496589},
timestamp = {Mon, 22 Apr 2024 10:35:20 +0200},
biburl = {https://dblp.org/rec/conf/icmcis/WronaOARTFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/SciarrettaCR16,
author = {Giada Sciarretta and
Roberto Carbone and
Silvio Ranise},
title = {A delegated authorization solution for smart-city mobile applications},
booktitle = {2nd {IEEE} International Forum on Research and Technologies for Society
and Industry Leveraging a better tomorrow, {RTSI} 2016, Bologna, Italy,
September 7-9, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/RTSI.2016.7740623},
doi = {10.1109/RTSI.2016.7740623},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtsi/SciarrettaCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/SantosPR16,
author = {Daniel Ricardo dos Santos and
Serena Elisa Ponta and
Silvio Ranise},
editor = {X. Sean Wang and
Lujo Bauer and
Florian Kerschbaum},
title = {Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability
Problem: Scalability and Reusability},
booktitle = {Proceedings of the 21st {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2016, Shanghai, China, June 5-8, 2016},
pages = {89--99},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2914642.2914649},
doi = {10.1145/2914642.2914649},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/SantosPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/SciarrettaACR16,
author = {Giada Sciarretta and
Alessandro Armando and
Roberto Carbone and
Silvio Ranise},
editor = {Christian Callegari and
Marten van Sinderen and
Panagiotis G. Sarigiannidis and
Pierangela Samarati and
Enrique Cabello and
Pascal Lorenz and
Mohammad S. Obaidat},
title = {Security of Mobile Single Sign-On: {A} Rational Reconstruction of
Facebook Login Solution},
booktitle = {Proceedings of the 13th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2016) - Volume 4: SECRYPT, Lisbon,
Portugal, July 26-28, 2016},
pages = {147--158},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005969001470158},
doi = {10.5220/0005969001470158},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/SciarrettaACR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CompagnaSPR16,
author = {Luca Compagna and
Daniel Ricardo dos Santos and
Serena Elisa Ponta and
Silvio Ranise},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive
Business Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {567--572},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_36},
doi = {10.1007/978-3-662-49674-9\_36},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CompagnaSPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbsec/2016,
editor = {Silvio Ranise and
Vipin Swarup},
title = {Data and Applications Security and Privacy {XXX} - 30th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9766},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41483-6},
doi = {10.1007/978-3-319-41483-6},
isbn = {978-3-319-41482-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ArmandoBCMMRTV15,
author = {Alessandro Armando and
Gianluca Bocci and
Gabriele Costa and
Rocco Mammoliti and
Alessio Merlo and
Silvio Ranise and
Riccardo Traverso and
Andrea Valenza},
editor = {Elisa Bertino and
Ilsun You},
title = {Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module},
booktitle = {Proceedings of the 7th {ACM} {CCS} International Workshop on Managing
Insider Security Threats, {MIST} 2015, Denver, Colorado, USA, October
16, 2015},
pages = {41--49},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808783.2808786},
doi = {10.1145/2808783.2808786},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/ArmandoBCMMRTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BertolissiSR15,
author = {Clara Bertolissi and
Daniel Ricardo dos Santos and
Silvio Ranise},
editor = {Feng Bao and
Steven Miller and
Jianying Zhou and
Gail{-}Joon Ahn},
title = {Automated Synthesis of Run-time Monitors to Enforce Authorization
Policies in Business Processes},
booktitle = {Proceedings of the 10th {ACM} Symposium on Information, Computer and
Communications Security, {ASIA} {CCS} '15, Singapore, April 14-17,
2015},
pages = {297--308},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2714576.2714633},
doi = {10.1145/2714576.2714633},
timestamp = {Thu, 20 Oct 2022 10:45:07 +0200},
biburl = {https://dblp.org/rec/conf/ccs/BertolissiSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cns/ArmandoRTW15,
author = {Alessandro Armando and
Silvio Ranise and
Riccardo Traverso and
Konrad S. Wrona},
title = {Compiling {NATO} authorization policies for enforcement in the cloud
and SDNs},
booktitle = {2015 {IEEE} Conference on Communications and Network Security, {CNS}
2015, Florence, Italy, September 28-30, 2015},
pages = {741--742},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CNS.2015.7346913},
doi = {10.1109/CNS.2015.7346913},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/cns/ArmandoRTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/SantosRCP15,
author = {Daniel Ricardo dos Santos and
Silvio Ranise and
Luca Compagna and
Serena Elisa Ponta},
editor = {Pierangela Samarati},
title = {Assisting the Deployment of Security-Sensitive Workflows by Finding
Execution Scenarios},
booktitle = {Data and Applications Security and Privacy {XXIX} - 29th Annual {IFIP}
{WG} 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9149},
pages = {85--100},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20810-7\_6},
doi = {10.1007/978-3-319-20810-7\_6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/SantosRCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/TurkmenHRZ15,
author = {Fatih Turkmen and
Jerry den Hartog and
Silvio Ranise and
Nicola Zannone},
editor = {Riccardo Focardi and
Andrew C. Myers},
title = {Analysis of {XACML} Policies with {SMT}},
booktitle = {Principles of Security and Trust - 4th International Conference, {POST}
2015, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9036},
pages = {115--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46666-7\_7},
doi = {10.1007/978-3-662-46666-7\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/TurkmenHRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RaniseTV15,
author = {Silvio Ranise and
Anh Tuan Truong and
Luca Vigan{\`{o}}},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Automated analysis of {RBAC} policies with temporal constraints and
static role hierarchies},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {2177--2184},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695787},
doi = {10.1145/2695664.2695787},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/RaniseTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ArmandoRTW15,
author = {Alessandro Armando and
Silvio Ranise and
Riccardo Traverso and
Konrad S. Wrona},
editor = {Edgar R. Weippl and
Florian Kerschbaum and
Adam J. Lee},
title = {A SMT-based Tool for the Analysis and Enforcement of {NATO} Content-based
Protection and Release Policies},
booktitle = {Proceedings of the 20th {ACM} Symposium on Access Control Models and
Technologies, Vienna, Austria, June 1-3, 2015},
pages = {151--155},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2752952.2752954},
doi = {10.1145/2752952.2752954},
timestamp = {Mon, 26 Jun 2023 20:45:28 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/ArmandoRTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/UtthaBR15,
author = {Worachet Uttha and
Clara Bertolissi and
Silvio Ranise},
editor = {Mohammad S. Obaidat and
Pascal Lorenz and
Pierangela Samarati},
title = {Modeling Authorization Policies for Web Services in Presence of Transitive
Dependencies},
booktitle = {{SECRYPT} 2015 - Proceedings of the 12th International Conference
on Security and Cryptography, Colmar, Alsace, France, 20-22 July,
2015},
pages = {293--300},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005548502930300},
doi = {10.5220/0005548502930300},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/UtthaBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/MasellisGR15,
author = {Riccardo De Masellis and
Chiara Ghidini and
Silvio Ranise},
editor = {Sara Foresti},
title = {A Declarative Framework for Specifying and Enforcing Purpose-Aware
Policies},
booktitle = {Security and Trust Management - 11th International Workshop, {STM}
2015, Vienna, Austria, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9331},
pages = {55--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24858-5\_4},
doi = {10.1007/978-3-319-24858-5\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/MasellisGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2015,
editor = {Carsten Lutz and
Silvio Ranise},
title = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0},
doi = {10.1007/978-3-319-24246-0},
isbn = {978-3-319-24245-3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SantosRP15,
author = {Daniel Ricardo dos Santos and
Silvio Ranise and
Serena Elisa Ponta},
title = {Modularity for Security-Sensitive Workflows},
journal = {CoRR},
volume = {abs/1507.07479},
year = {2015},
url = {http://arxiv.org/abs/1507.07479},
eprinttype = {arXiv},
eprint = {1507.07479},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SantosRP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MasellisGR15,
author = {Riccardo De Masellis and
Chiara Ghidini and
Silvio Ranise},
title = {A Declarative Framework for Specifying and Enforcing Purpose-aware
Policies},
journal = {CoRR},
volume = {abs/1507.08153},
year = {2015},
url = {http://arxiv.org/abs/1507.08153},
eprinttype = {arXiv},
eprint = {1507.08153},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MasellisGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlbertiBGRS14,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
title = {An extension of lazy abstraction with interpolation for programs with
arrays},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {1},
pages = {63--109},
year = {2014},
url = {https://doi.org/10.1007/s10703-014-0209-9},
doi = {10.1007/S10703-014-0209-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/AlbertiBGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BruttomessoGR14,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
title = {Quantifier-free interpolation in combinations of equality interpolating
theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {5:1--5:34},
year = {2014},
url = {https://doi.org/10.1145/2490253},
doi = {10.1145/2490253},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BruttomessoGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/RaniseT14,
author = {Silvio Ranise and
Anh Tuan Truong},
editor = {Vijay Atluri and
G{\"{u}}nther Pernul},
title = {Incremental Analysis of Evolving Administrative Role Based Access
Control Policies},
booktitle = {Data and Applications Security and Privacy {XXVIII} - 28th Annual
{IFIP} {WG} 11.3 Working Conference, DBSec 2014, Vienna, Austria,
July 14-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8566},
pages = {260--275},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43936-4\_17},
doi = {10.1007/978-3-662-43936-4\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/RaniseT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/UtthaBR14,
author = {Worachet Uttha and
Clara Bertolissi and
Silvio Ranise},
editor = {Wouter Joosen and
Fabio Martinelli and
Thomas Heyman},
title = {Towards a Reference Architecture for Access Control in Distributed
Web Applications},
booktitle = {Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the
International Symposium on Engineering Secure Software and Systems
(ESSoS 2014), Munich, Germany, February 26, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1298},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1298/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/essos/UtthaBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ArmandoCCR14,
author = {Alessandro Armando and
Roberto Carbone and
Eyasu Getahun Chekole and
Silvio Ranise},
editor = {Sylvia L. Osborn and
Mahesh V. Tripunitara and
Ian M. Molloy},
title = {Attribute based access control for APIs in spring security},
booktitle = {19th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'14, London, ON, Canada - June 25 - 27, 2014},
pages = {85--88},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2613087.2613109},
doi = {10.1145/2613087.2613109},
timestamp = {Wed, 02 Jun 2021 09:13:31 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/ArmandoCCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/RaniseTA14,
author = {Silvio Ranise and
Anh Tuan Truong and
Alessandro Armando},
editor = {Sylvia L. Osborn and
Mahesh V. Tripunitara and
Ian M. Molloy},
title = {Scalable and precise automated analysis of administrative temporal
role-based access control},
booktitle = {19th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'14, London, ON, Canada - June 25 - 27, 2014},
pages = {103--114},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2613087.2613102},
doi = {10.1145/2613087.2613102},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/RaniseTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridsec/ArmandoCCPRR14,
author = {Alessandro Armando and
Roberto Carbone and
Eyasu Getahun Chekole and
Claudio Petrazzuolo and
Andrea Ranalli and
Silvio Ranise},
editor = {Jorge Cu{\'{e}}llar},
title = {Selective Release of Smart Metering Data in Multi-domain Smart Grids},
booktitle = {Smart Grid Security - Second International Workshop, SmartGridSec
2014, Munich, Germany, February 26, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8448},
pages = {48--62},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10329-7\_4},
doi = {10.1007/978-3-319-10329-7\_4},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartgridsec/ArmandoCCPRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/RaniseT14,
author = {Silvio Ranise and
Riccardo Traverso},
editor = {Sjouke Mauw and
Christian Damsgaard Jensen},
title = {{ALPS:} An Action Language for Policy Specification and Automated
Safety Analysis},
booktitle = {Security and Trust Management - 10th International Workshop, {STM}
2014, Wroclaw, Poland, September 10-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8743},
pages = {146--161},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11851-2\_10},
doi = {10.1007/978-3-319-11851-2\_10},
timestamp = {Thu, 23 Sep 2021 11:47:56 +0200},
biburl = {https://dblp.org/rec/conf/stm/RaniseT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Ranise13,
author = {Silvio Ranise},
title = {Symbolic backward reachability with effectively propositional logic
- Applications to security policy analysis},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {1},
pages = {24--45},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0157-1},
doi = {10.1007/S10703-012-0157-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Ranise13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CarioniGR13,
author = {Alessandro Carioni and
Silvio Ghilardi and
Silvio Ranise},
title = {Automated Termination in Model-Checking Modulo Theories},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {2},
pages = {211--232},
year = {2013},
url = {https://doi.org/10.1142/S012905411340008X},
doi = {10.1142/S012905411340008X},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/CarioniGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/ArmandoORW13,
author = {Alessandro Armando and
Sander Oudkerk and
Silvio Ranise and
Konrad S. Wrona},
editor = {Jean{-}Luc Danger and
Mourad Debbabi and
Jean{-}Yves Marion and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Nur Zincir{-}Heywood},
title = {Formal Modelling of Content-Based Protection and Release for Access
Control in {NATO} Operations},
booktitle = {Foundations and Practice of Security - 6th International Symposium,
{FPS} 2013, La Rochelle, France, October 21-22, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8352},
pages = {227--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05302-8\_14},
doi = {10.1007/978-3-319-05302-8\_14},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/fps/ArmandoORW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BertolissiR13,
author = {Clara Bertolissi and
Silvio Ranise},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Verification of Composed Array-Based Systems with Applications to
Security-Aware Workflows},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {40--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_4},
doi = {10.1007/978-3-642-40885-4\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BertolissiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/BertolissiR13,
author = {Clara Bertolissi and
Silvio Ranise},
title = {A methodology to build run-time monitors for security-aware workflows},
booktitle = {8th International Conference for Internet Technology and Secured Transactions,
{ICITST} 2013, London, United Kingdom, December 9-12, 2013},
pages = {501--502},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICITST.2013.6750251},
doi = {10.1109/ICITST.2013.6750251},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icitst/BertolissiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ArmandoGORW13,
author = {Alessandro Armando and
Matteo Grasso and
Sander Oudkerk and
Silvio Ranise and
Konrad S. Wrona},
editor = {Mauro Conti and
Jaideep Vaidya and
Andreas Schaad},
title = {Content-based information protection and release in {NATO} operations},
booktitle = {18th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'13, Amsterdam, The Netherlands, June 12-14, 2013},
pages = {261--264},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462410.2462427},
doi = {10.1145/2462410.2462427},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/ArmandoGORW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stm/2013,
editor = {Rafael Accorsi and
Silvio Ranise},
title = {Security and Trust Management - 9th International Workshop, {STM}
2013, Egham, UK, September 12-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8203},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41098-7},
doi = {10.1007/978-3-642-41098-7},
isbn = {978-3-642-41097-0},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2386,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
title = {Quantifier-Free Interpolation of a Theory of Arrays},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {2},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(2:4)2012},
doi = {10.2168/LMCS-8(2:4)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2386.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/ArmandoR12,
author = {Alessandro Armando and
Silvio Ranise},
title = {Scalable automated symbolic analysis of administrative role-based
access control policies by {SMT} solving},
journal = {J. Comput. Secur.},
volume = {20},
number = {4},
pages = {309--352},
year = {2012},
url = {https://doi.org/10.3233/JCS-2012-0461},
doi = {10.3233/JCS-2012-0461},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/ArmandoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/AlbertiGPRR12,
author = {Francesco Alberti and
Silvio Ghilardi and
Elena Pagani and
Silvio Ranise and
Gian Paolo Rossi},
title = {Universal Guards, Relativization of Quantifiers, and Failure Models
in Model Checking Modulo Theories},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {8},
number = {1/2},
pages = {29--61},
year = {2012},
url = {https://doi.org/10.3233/sat190087},
doi = {10.3233/SAT190087},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/AlbertiGPRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Ranise12,
author = {Silvio Ranise},
title = {On the verification of security-aware E-services},
journal = {J. Symb. Comput.},
volume = {47},
number = {9},
pages = {1066--1088},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.033},
doi = {10.1016/J.JSC.2011.12.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Ranise12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlbertiBGRS12,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
editor = {Pascal Fontaine and
Amit Goel},
title = {Reachability Modulo Theory Library},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {67--76},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/f3rp},
doi = {10.29007/F3RP},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AlbertiBGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BruttomessoGR12,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {From Strong Amalgamability to Modularity of Quantifier-Free Interpolation},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {118--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_12},
doi = {10.1007/978-3-642-31365-3\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BruttomessoGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbertiBGRS12,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {{SAFARI:} SMT-Based Abstraction for Arrays with Interpolants},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {679--685},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_49},
doi = {10.1007/978-3-642-31424-7\_49},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbertiBGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/ArmandoRTC12,
author = {Alessandro Armando and
Silvio Ranise and
Fatih Turkmen and
Bruno Crispo},
editor = {Elisa Bertino and
Ravi S. Sandhu},
title = {Efficient run-time solving of {RBAC} user authorization queries: pushing
the envelope},
booktitle = {Second {ACM} Conference on Data and Application Security and Privacy,
{CODASPY} 2012, San Antonio, TX, USA, February 7-9, 2012},
pages = {241--248},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2133601.2133631},
doi = {10.1145/2133601.2133631},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/ArmandoRTC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/ArmandoR12,
author = {Alessandro Armando and
Silvio Ranise},
editor = {Nora Cuppens{-}Boulahia and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Automated and Efficient Analysis of Role-Based Access Control with
Attributes},
booktitle = {Data and Applications Security and Privacy {XXVI} - 26th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7371},
pages = {25--40},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31540-4\_3},
doi = {10.1007/978-3-642-31540-4\_3},
timestamp = {Fri, 27 Dec 2019 21:29:17 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/ArmandoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertiBGRS12,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Lazy Abstraction with Interpolants for Arrays},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {46--61},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_7},
doi = {10.1007/978-3-642-28717-6\_7},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertiBGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BruttomessoCGR12,
author = {Roberto Bruttomesso and
Alessandro Carioni and
Silvio Ghilardi and
Silvio Ranise},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {279--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_28},
doi = {10.1007/978-3-642-28891-3\_28},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BruttomessoCGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/RaniseA12,
author = {Silvio Ranise and
Alessandro Armando},
editor = {Li Xu and
Elisa Bertino and
Yi Mu},
title = {On the Automated Analysis of Safety in Usage Control: {A} New Decidability
Result},
booktitle = {Network and System Security - 6th International Conference, {NSS}
2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7645},
pages = {15--28},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34601-9\_2},
doi = {10.1007/978-3-642-34601-9\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nss/RaniseA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/BarlettaRV12,
author = {Michele Barletta and
Silvio Ranise and
Luca Vigan{\`{o}}},
editor = {Audun J{\o}sang and
Pierangela Samarati and
Marinella Petrocchi},
title = {Automated Analysis of Scenario-Based Specifications of Distributed
Access Control Policies with Non-mechanizable Activities},
booktitle = {Security and Trust Management - 8th International Workshop, {STM}
2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7783},
pages = {49--64},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38004-4\_4},
doi = {10.1007/978-3-642-38004-4\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/BarlettaRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/RaniseTA12,
author = {Silvio Ranise and
Anh Tuan Truong and
Alessandro Armando},
editor = {Audun J{\o}sang and
Pierangela Samarati and
Marinella Petrocchi},
title = {Boosting Model Checking to Analyse Large {ARBAC} Policies},
booktitle = {Security and Trust Management - 8th International Workshop, {STM}
2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7783},
pages = {273--288},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38004-4\_18},
doi = {10.1007/978-3-642-38004-4\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/RaniseTA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3730,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
title = {From Strong Amalgamability to Modularity of Quantifier-Free Interpolation},
journal = {CoRR},
volume = {abs/1203.3730},
year = {2012},
url = {http://arxiv.org/abs/1203.3730},
eprinttype = {arXiv},
eprint = {1203.3730},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-3180,
author = {Michele Barletta and
Silvio Ranise and
Luca Vigan{\`{o}}},
title = {Automated Analysis of Scenario-based Specifications of Distributed
Access Control Policies with Non-Mechanizable Activities (Extended
Version)},
journal = {CoRR},
volume = {abs/1206.3180},
year = {2012},
url = {http://arxiv.org/abs/1206.3180},
eprinttype = {arXiv},
eprint = {1206.3180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-3180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LynchRRT11,
author = {Christopher Lynch and
Silvio Ranise and
Christophe Ringeissen and
Duc{-}Khanh Tran},
title = {Automatic decidability and combinability},
journal = {Inf. Comput.},
volume = {209},
number = {7},
pages = {1026--1047},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2011.03.005},
doi = {10.1016/J.IC.2011.03.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LynchRRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/BarlettaCRVZ11,
author = {Michele Barletta and
Alberto Calvi and
Silvio Ranise and
Luca Vigan{\`{o}} and
Luca Zanetti},
title = {Workflow and Access Control Reloaded: a Declarative Specification
Framework for the Automated Analysis of Web Services},
journal = {Scalable Comput. Pract. Exp.},
volume = {12},
number = {1},
year = {2011},
url = {http://www.scpe.org/index.php/scpe/article/view/684},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/BarlettaCRVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/BarlettaRV01,
author = {Michele Barletta and
Silvio Ranise and
Luca Vigan{\`{o}}},
title = {A declarative two-level framework to specify and verify workflow and
authorization policies in service-oriented architectures},
journal = {Serv. Oriented Comput. Appl.},
volume = {5},
number = {2},
pages = {105--137},
year = {2011},
url = {https://doi.org/10.1007/s11761-010-0073-4},
doi = {10.1007/S11761-010-0073-4},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/BarlettaRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlbertiAR11,
author = {Francesco Alberti and
Alessandro Armando and
Silvio Ranise},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {{ASASP:} Automated Symbolic Analysis of Security Policies},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {26--33},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_4},
doi = {10.1007/978-3-642-22438-6\_4},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/AlbertiAR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlbertiAR11,
author = {Francesco Alberti and
Alessandro Armando and
Silvio Ranise},
editor = {Bruce S. N. Cheung and
Lucas Chi Kwong Hui and
Ravi S. Sandhu and
Duncan S. Wong},
title = {Efficient symbolic automated analysis of administrative attribute-based
RBAC-policies},
booktitle = {Proceedings of the 6th {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2011, Hong Kong, China, March 22-24,
2011},
pages = {165--175},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1966913.1966935},
doi = {10.1145/1966913.1966935},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AlbertiAR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BruttomessoGR11,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {A Combination of Rewriting and Constraint Solving for the Quantifier-Free
Interpolation of Arrays with Integer Difference Constraints},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {103--118},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_8},
doi = {10.1007/978-3-642-24364-6\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BruttomessoGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CarioniGR11,
author = {Alessandro Carioni and
Silvio Ghilardi and
Silvio Ranise},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Automated Termination in Model Checking Modulo Theories},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {110--124},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_11},
doi = {10.1007/978-3-642-24288-5\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CarioniGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BruttomessoGR11,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Rewriting-based Quantifier-free Interpolation for a Theory of Arrays},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {171--186},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.171},
doi = {10.4230/LIPICS.RTA.2011.171},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/BruttomessoGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/ArmandoCR11,
author = {Alessandro Armando and
Roberto Carbone and
Silvio Ranise},
title = {Automated Analysis of Semantic-Aware Access Control Policies: {A}
Logic-Based Approach},
booktitle = {Proceedings of the 5th {IEEE} International Conference on Semantic
Computing {(ICSC} 2011), Palo Alto, CA, USA, September 18-21, 2011},
pages = {356--363},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSC.2011.74},
doi = {10.1109/ICSC.2011.74},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/ArmandoCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/ArmandoR11,
author = {Alessandro Armando and
Silvio Ranise},
editor = {Catherine Meadows and
M. Carmen Fern{\'{a}}ndez Gago},
title = {Automated Analysis of Infinite State Workflows with Access Control
Policies},
booktitle = {Security and Trust Management - 7th International Workshop, {STM}
2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7170},
pages = {157--174},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29963-6\_12},
doi = {10.1007/978-3-642-29963-6\_12},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/stm/ArmandoR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1872,
author = {Silvio Ghilardi and
Silvio Ranise},
title = {Backward Reachability of Array-based Systems by {SMT} solving: Termination
and Invariant Synthesis},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:10)2010},
doi = {10.2168/LMCS-6(4:10)2010},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-1872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AlbertiGPRR10,
author = {Francesco Alberti and
Silvio Ghilardi and
Elena Pagani and
Silvio Ranise and
Gian Paolo Rossi},
title = {Automated Support for the Design and Validation of Fault Tolerant
Parameterized Systems: a case study},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {35},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.35.543},
doi = {10.14279/TUJ.ECEASST.35.543},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AlbertiGPRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/TranRRK10,
author = {Duc{-}Khanh Tran and
Christophe Ringeissen and
Silvio Ranise and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Combination of convex theories: Modularity, deduction completeness,
and explanation},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {261--286},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.10.006},
doi = {10.1016/J.JSC.2008.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/TranRRK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GhilardiR10,
author = {Silvio Ghilardi and
Silvio Ranise},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {{MCMT:} {A} Model Checker Modulo Theories},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {22--29},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_3},
doi = {10.1007/978-3-642-14203-1\_3},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/GhilardiR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CarioniGR10,
author = {Alessandro Carioni and
Silvio Ghilardi and
Silvio Ranise},
editor = {Markus Aderhold and
Serge Autexier and
Heiko Mantel},
title = {{MCMT} in the Land of Parametrized Timed Automata},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
July 20-21, 2010},
series = {EPiC Series in Computing},
volume = {3},
pages = {47--64},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/sc2w},
doi = {10.29007/SC2W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CarioniGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BarrettMRST10,
author = {Clark W. Barrett and
Leonardo Mendon{\c{c}}a de Moura and
Silvio Ranise and
Aaron Stump and
Cesare Tinelli},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award
Talk)},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {3},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_2},
doi = {10.1007/978-3-642-19583-9\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BarrettMRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/ArmandoR10,
author = {Alessandro Armando and
Silvio Ranise},
editor = {Jorge Cu{\'{e}}llar and
Gilles Barthe and
Alexander Pretschner},
title = {Automated Symbolic Analysis of ARBAC-Policies},
booktitle = {Security and Trust Management - 6th International Workshop, {STM}
2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6710},
pages = {17--34},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22444-7\_2},
doi = {10.1007/978-3-642-22444-7\_2},
timestamp = {Sat, 19 Oct 2019 20:20:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/ArmandoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BarlettaCRVZ10,
author = {Michele Barletta and
Alberto Calvi and
Silvio Ranise and
Luca Vigan{\`{o}} and
Luca Zanetti},
editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {{WSSMT:} Towards the Automated Analysis of Security-Sensitive Services
and Applications},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
pages = {417--424},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SYNASC.2010.74},
doi = {10.1109/SYNASC.2010.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BarlettaCRVZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CalviRV10,
author = {Alberto Calvi and
Silvio Ranise and
Luca Vigan{\`{o}}},
editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Automated Validation of Security-Sensitive Web Services Specified
in {BPEL} and {RBAC}},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
pages = {456--464},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SYNASC.2010.75},
doi = {10.1109/SYNASC.2010.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CalviRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlbertiGPRR10,
author = {Francesco Alberti and
Silvio Ghilardi and
Elena Pagani and
Silvio Ranise and
Gian Paolo Rossi},
editor = {Nancy A. Lynch and
Alexander A. Shvartsman},
title = {Brief Announcement: Automated Support for the Design and Validation
of Fault Tolerant Parameterized Systems - {A} Case Study},
booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
Cambridge, MA, USA, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6343},
pages = {392--394},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15763-9\_36},
doi = {10.1007/978-3-642-15763-9\_36},
timestamp = {Sun, 25 Jul 2021 11:53:35 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AlbertiGPRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-4625,
author = {Alberto Calvi and
Silvio Ranise and
Luca Vigan{\`{o}}},
title = {Automated Validation of Security-sensitive Web Services specified
in {BPEL} and {RBAC} (Extended Version)},
journal = {CoRR},
volume = {abs/1009.4625},
year = {2010},
url = {http://arxiv.org/abs/1009.4625},
eprinttype = {arXiv},
eprint = {1009.4625},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5590,
author = {Ranise Armando and
Silvio Ranise},
title = {Automated Symbolic Analysis of ARBAC-Policies (Extended Version)},
journal = {CoRR},
volume = {abs/1012.5590},
year = {2010},
url = {http://arxiv.org/abs/1012.5590},
eprinttype = {arXiv},
eprint = {1012.5590},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/RaniseH09,
author = {Silvio Ranise and
Ullrich Hustadt},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {55},
number = {1-2},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9149-2},
doi = {10.1007/S10472-009-9149-2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/RaniseH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DeharbeR09,
author = {David D{\'{e}}harbe and
Silvio Ranise},
title = {Satisfiability solving for software verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {3},
pages = {255--260},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0105-6},
doi = {10.1007/S10009-009-0105-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DeharbeR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ArmandoBRS09,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
title = {New results on rewrite-based satisfiability procedures},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {1},
pages = {4:1--4:51},
year = {2009},
url = {https://doi.org/10.1145/1459010.1459014},
doi = {10.1145/1459010.1459014},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ArmandoBRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/BarlettaRV09,
author = {Michele Barletta and
Silvio Ranise and
Luca Vigan{\`{o}}},
title = {Verifying the Interplay of Authorization Policies and Workflow in
Service-Oriented Architectures},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {289--296},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.172},
doi = {10.1109/CSE.2009.172},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/BarlettaRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/Ranise09,
author = {Silvio Ranise},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Towards the Verification of Security-Aware Transaction E-services},
booktitle = {Proceedings of the 7th International Workshop on First-Order Theorem
Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {556},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-556/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/ftp/Ranise09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GhilardiR09,
author = {Silvio Ghilardi and
Silvio Ranise},
editor = {Martin Giese and
Arild Waaler},
title = {Goal-Directed Invariant Synthesis for Model Checking Modulo Theories},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {173--188},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_14},
doi = {10.1007/978-3-642-02716-1\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GhilardiR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4570,
author = {Michele Barletta and
Silvio Ranise and
Luca Vigan{\`{o}}},
title = {Verifying the Interplay of Authorization Policies and Workflow in
Service-Oriented Architectures (Full version)},
journal = {CoRR},
volume = {abs/0906.4570},
year = {2009},
url = {http://arxiv.org/abs/0906.4570},
eprinttype = {arXiv},
eprint = {0906.4570},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-4570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/DeharbeRV08,
author = {David D{\'{e}}harbe and
Silvio Ranise and
Jorgiano Vidal},
title = {A Prototype Implementation of a Distributed Satisfiability Modulo
Theories Solver in the ToolBus Framework},
journal = {J. Braz. Comput. Soc.},
volume = {14},
number = {1},
pages = {71--86},
year = {2008},
url = {https://doi.org/10.1007/BF03192553},
doi = {10.1007/BF03192553},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/DeharbeRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GhilardiNRZ08,
author = {Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Towards {SMT} Model Checking of Array-Based Systems},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {67--82},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_6},
doi = {10.1007/978-3-540-71070-7\_6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GhilardiNRZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhilardiRV09,
author = {Silvio Ghilardi and
Silvio Ranise and
Thomas Valsecchi},
editor = {Alice Miller and
Muffy Calder},
title = {Light-Weight SMT-based Model Checking},
booktitle = {Proceedings of the Eighth International Workshop on Automated Verification
of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {2},
pages = {85--102},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.019},
doi = {10.1016/J.ENTCS.2009.08.019},
timestamp = {Fri, 24 Feb 2023 13:53:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GhilardiRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GhilardiNRZ07,
author = {Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
title = {Decision procedures for extensions of the theory of arrays},
journal = {Ann. Math. Artif. Intell.},
volume = {50},
number = {3-4},
pages = {231--254},
year = {2007},
url = {https://doi.org/10.1007/s10472-007-9078-x},
doi = {10.1007/S10472-007-9078-X},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GhilardiNRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GhilardiNRZ07,
author = {Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Frank Pfenning},
title = {Combination Methods for Satisfiability and Model-Checking of Infinite-State
Systems},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {362--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_25},
doi = {10.1007/978-3-540-73595-3\_25},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GhilardiNRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiNRZ07,
author = {Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Boris Konev and
Frank Wolter},
title = {Noetherianity and Combination Problems},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {206--220},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_14},
doi = {10.1007/978-3-540-74621-8\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/GhilardiNRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RaniseRT07,
author = {Silvio Ranise and
Christophe Ringeissen and
Duc{-}Khanh Tran},
editor = {Boris Konev and
Frank Wolter},
title = {Combining Proof-Producing Decision Procedures},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {237--251},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_16},
doi = {10.1007/978-3-540-74621-8\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RaniseRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/RaniseS07,
author = {Silvio Ranise and
Christelle Scharff},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Building Extended Canonizers by Graph-Based Deduction},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {440--454},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_30},
doi = {10.1007/978-3-540-75292-9\_30},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/RaniseS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GhilardiRNZ07,
author = {Silvio Ghilardi and
Silvio Ranise and
Enrica Nicolini and
Daniele Zucchelli},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {From Non-Disjoint Combination to Satisfiability and Model-Checking
of Infinite State Systems},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1247},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GhilardiRNZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BeckertHHSGRTBR06,
author = {Bernhard Beckert and
Tony Hoare and
Reiner H{\"{a}}hnle and
Douglas R. Smith and
Cordell Green and
Silvio Ranise and
Cesare Tinelli and
Thomas Ball and
Sriram K. Rajamani},
title = {Intelligent Systems and Formal Methods in Software Engineering},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {6},
pages = {71--81},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.117},
doi = {10.1109/MIS.2006.117},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BeckertHHSGRTBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzanoBCJRRS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
title = {Efficient theory combination via boolean search},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1493--1525},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.011},
doi = {10.1016/J.IC.2005.05.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaGNRZ06,
author = {Maria Paola Bonacina and
Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based
Decision Procedures},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {513--527},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_42},
doi = {10.1007/11814771\_42},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BonacinaGNRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DeharbeFRR06,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Silvio Ranise and
Christophe Ringeissen},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Decision Procedures for the Formal Analysis of Software},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {366--370},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_26},
doi = {10.1007/11921240\_26},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DeharbeFRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GhilardiNRZ06,
author = {Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Deciding Extensions of the Theory of Arrays by Integrating Decision
Procedures and Instantiation Strategies},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {177--189},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_16},
doi = {10.1007/11853886\_16},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GhilardiNRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KirchnerRRT06,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Silvio Ranise and
Christophe Ringeissen and
Duc{-}Khanh Tran},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Automatic Combinability of Rewriting-Based Satisfiability Procedures},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {542--556},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_37},
doi = {10.1007/11916277\_37},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KirchnerRRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RaniseZ06,
author = {Silvio Ranise and
Calogero G. Zarba},
title = {A Theory of Singly-Linked Lists and its Extensible Decision Procedure},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.7},
doi = {10.1109/SEFM.2006.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RaniseZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604054,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
title = {New results on rewrite-based satisfiability procedures},
journal = {CoRR},
volume = {abs/cs/0604054},
year = {2006},
url = {http://arxiv.org/abs/cs/0604054},
eprinttype = {arXiv},
eprint = {cs/0604054},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArmandoCR05,
author = {Alessandro Armando and
Luca Compagna and
Silvio Ranise},
editor = {Dieter Hutter and
Werner Stephan},
title = {Rewriting and Decision Procedure Laboratory: Combining Rewriting,
Satisfiability Checking, and Lemma Speculation},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {30--45},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_3},
doi = {10.1007/978-3-540-32254-2\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ArmandoCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoBCJRRS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Efficient Satisfiability Modulo Theories via Delayed Theory Combination},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {335--349},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_34},
doi = {10.1007/11513988\_34},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoBCJRRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RaniseRZ05,
author = {Silvio Ranise and
Christophe Ringeissen and
Calogero G. Zarba},
editor = {Bernhard Gramlich},
title = {Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted
Logic},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {48--64},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_3},
doi = {10.1007/11559306\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RaniseRZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArmandoBRS05,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
editor = {Bernhard Gramlich},
title = {On a Rewriting Approach to Satisfiability Procedures: Extension, Combination
of Theories and an Experimental Appraisal},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {65--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_4},
doi = {10.1007/11559306\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArmandoBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KirchnerRRT05,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Silvio Ranise and
Christophe Ringeissen and
Duc{-}Khanh Tran},
editor = {Dang Van Hung and
Martin Wirsing},
title = {On Superposition-Based Satisfiability Procedures and Their Combination},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {594--608},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_39},
doi = {10.1007/11560647\_39},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KirchnerRRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeharbeRV07,
author = {David D{\'{e}}harbe and
Silvio Ranise and
Jorgiano Vidal},
editor = {Augusto Sampaio},
title = {Distributing the Workload in a Lazy Theorem-Prover},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {21--37},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.013},
doi = {10.1016/J.ENTCS.2007.03.013},
timestamp = {Tue, 24 Jan 2023 14:02:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeharbeRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smt/2004,
editor = {Wolfgang Ahrendt and
Peter Baumgartner and
Hans de Nivelle and
Silvio Ranise and
Cesare Tinelli},
title = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and
the Second International Workshop on Pragmatics of Decision Procedures,
PDPAR@IJCAR 2004, Cork, Ireland, July 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/125/issue/3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/CouchotDGR04,
author = {Jean{-}Fran{\c{c}}ois Couchot and
David D{\'{e}}harbe and
Alain Giorgetti and
Silvio Ranise},
title = {Scalable Automated Proving and Debugging of Set-Based Specifications},
journal = {J. Braz. Comput. Soc.},
volume = {9},
number = {2},
pages = {17--36},
year = {2004},
url = {https://doi.org/10.1590/S0104-65002003000300003},
doi = {10.1590/S0104-65002003000300003},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/CouchotDGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DeharbeIR04,
author = {David D{\'{e}}harbe and
Abdessamad Imine and
Silvio Ranise},
editor = {Bruno Buchberger and
John A. Campbell},
title = {Abstraction-Driven Verification of Array Programs},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {271--275},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_23},
doi = {10.1007/978-3-540-30210-0\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/DeharbeIR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/RaniseRT04,
author = {Silvio Ranise and
Christophe Ringeissen and
Duc{-}Khanh Tran},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Nelson-Oppen, Shostak and the Extended Canonizer: {A} Family Picture
with a Newborn},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {372--386},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_27},
doi = {10.1007/978-3-540-31862-0\_27},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/RaniseRT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FontaineRZ04,
author = {Pascal Fontaine and
Silvio Ranise and
Calogero G. Zarba},
editor = {Franz Baader and
Andrei Voronkov},
title = {Combining Lists with Non-stably Infinite Theories},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {51--66},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_4},
doi = {10.1007/978-3-540-32275-7\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FontaineRZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AhrendtBNRT05,
author = {Wolfgang Ahrendt and
Peter Baumgartner and
Hans de Nivelle and
Silvio Ranise and
Cesare Tinelli},
editor = {Wolfgang Ahrendt and
Peter Baumgartner and
Hans de Nivelle and
Silvio Ranise and
Cesare Tinelli},
title = {Preface},
booktitle = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and
the Second International Workshop on Pragmatics of Decision Procedures,
PDPAR@IJCAR 2004, Cork, Ireland, July 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.025},
doi = {10.1016/J.ENTCS.2005.02.025},
timestamp = {Tue, 13 Dec 2022 13:53:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AhrendtBNRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArmandoRR03,
author = {Alessandro Armando and
Silvio Ranise and
Micha{\"{e}}l Rusinowitch},
title = {A rewriting approach to satisfiability procedures},
journal = {Inf. Comput.},
volume = {183},
number = {2},
pages = {140--164},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00020-8},
doi = {10.1016/S0890-5401(03)00020-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArmandoRR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ArmandoR03,
author = {Alessandro Armando and
Silvio Ranise},
title = {Constraint contextual rewriting},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {193--216},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00025-7},
doi = {10.1016/S0747-7171(03)00025-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArmandoR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DeharbeR03,
author = {David D{\'{e}}harbe and
Silvio Ranise},
title = {Light-Weight Theorem Proving for Debugging and Verifying Units of
Code},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {220--228},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236224},
doi = {10.1109/SEFM.2003.1236224},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DeharbeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaniseD03,
author = {Silvio Ranise and
David D{\'{e}}harbe},
editor = {Ingo Dahn and
Laurent Vigneron},
title = {Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer
Programs},
booktitle = {4th International Workshop on First-Order Theorem Proving, {FTP} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {1},
pages = {105--119},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80656-X},
doi = {10.1016/S1571-0661(04)80656-X},
timestamp = {Thu, 08 Dec 2022 13:39:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RaniseD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CouchotDDGR04,
author = {Jean{-}Fran{\c{c}}ois Couchot and
Fr{\'{e}}d{\'{e}}ric Dadeau and
David D{\'{e}}harbe and
Alain Giorgetti and
Silvio Ranise},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Proving and Debugging Set-Based Specifications},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {189--208},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.012},
doi = {10.1016/J.ENTCS.2004.04.012},
timestamp = {Wed, 07 Dec 2022 10:40:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CouchotDDGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Ranise02,
author = {Silvio Ranise},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Combining Generic and Domain Specific Reasoning by Using Contexts},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {305--318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_27},
doi = {10.1007/3-540-45470-5\_27},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Ranise02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ArmandoCGR01,
author = {Alessandro Armando and
Alessandro Coglio and
Fausto Giunchiglia and
Silvio Ranise},
title = {The Control Layer in Open Mechanized Reasoning Systems: Annotations
and Tactics},
journal = {J. Symb. Comput.},
volume = {32},
number = {4},
pages = {305--332},
year = {2001},
url = {https://doi.org/10.1006/jsco.2000.0464},
doi = {10.1006/JSCO.2000.0464},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArmandoCGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ArmandoR01,
author = {Alessandro Armando and
Silvio Ranise},
title = {A Practical Extension Mechanism for Decision Procedures: the Case
Study of Universal Presburger Arithmetic},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {2},
pages = {124--140},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-02-0124},
doi = {10.3217/JUCS-007-02-0124},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ArmandoR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ArmandoCR01,
author = {Alessandro Armando and
Luca Compagna and
Silvio Ranise},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {System Description: {RDL} : Rewrite and Decision Procedure Laboratory},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {663--669},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_54},
doi = {10.1007/3-540-45744-5\_54},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ArmandoCR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ArmandoPR01,
author = {Alessandro Armando and
Felice Peccia and
Silvio Ranise},
editor = {Toby Walsh},
title = {The Phase Transition of the Linear Inequalities Problem},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {422--432},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_29},
doi = {10.1007/3-540-45578-7\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ArmandoPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ArmandoRR01,
author = {Alessandro Armando and
Silvio Ranise and
Micha{\"{e}}l Rusinowitch},
editor = {Laurent Fribourg},
title = {Uniform Derivation of Decision Procedures by Superposition},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {513--527},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_36},
doi = {10.1007/3-540-44802-0\_36},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ArmandoRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArmandoR00,
author = {Alessandro Armando and
Silvio Ranise},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Termination of Constraint Contextual Rewriting},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {47--61},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_4},
doi = {10.1007/10720084\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArmandoR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ArmandoMR98,
author = {Alessandro Armando and
Erica Melis and
Silvio Ranise},
editor = {Fausto Giunchiglia},
title = {Constraint Solving in Logic Programming and in Automated Deduction:
{A} Comparison},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {28--38},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057432},
doi = {10.1007/BFB0057432},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/ArmandoMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ArmandoR98,
author = {Alessandro Armando and
Silvio Ranise},
editor = {Jacques Calmet and
Jan A. Plaza},
title = {From Integrated Reasoning Specialists to "Plug-and-Play"
Reasoning Components},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1476},
pages = {42--54},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055901},
doi = {10.1007/BFB0055901},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ArmandoR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
