default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chiara Braghin
@inproceedings{DBLP:conf/modelsward/BraghinLRB24,
author = {Chiara Braghin and
Mario Lilli and
Elvinia Riccobene and
Marian Baba},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Kant: {A} Domain-Specific Language for Modeling Security Protocols},
booktitle = {Proceedings of the 12th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2024, Rome, Italy, February
21-23, 2024},
pages = {62--73},
publisher = {{SCITEPRESS}},
year = {2024},
timestamp = {Tue, 02 Apr 2024 14:41:36 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/BraghinLRB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BraghinRV24,
author = {Chiara Braghin and
Elvinia Riccobene and
Simone Valentini},
editor = {Jiman Hong and
Juw Won Park},
title = {Modeling and verification of smart contracts with Abstract State Machines},
booktitle = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2024, Avila, Spain, April 8-12, 2024},
pages = {1425--1432},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3605098.3636040},
doi = {10.1145/3605098.3636040},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BraghinRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/BraghinRV24,
author = {Chiara Braghin and
Elvinia Riccobene and
Simone Valentini},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts},
booktitle = {Proceedings of the 21st International Conference on Security and Cryptography,
{SECRYPT} 2024, Dijon, France, July 8-10, 2024},
pages = {334--344},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012858000003767},
doi = {10.5220/0012858000003767},
timestamp = {Thu, 05 Sep 2024 14:21:37 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/BraghinRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ValentiniBR24,
author = {Simone Valentini and
Chiara Braghin and
Elvinia Riccobene},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {A Modeling and Verification Framework for Ethereum Smart Contracts},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {201--207},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63790-2\_13},
doi = {10.1007/978-3-031-63790-2\_13},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/ValentiniBR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/BraghinLR23,
author = {Chiara Braghin and
Mario Lilli and
Elvinia Riccobene},
title = {A model-based approach for vulnerability analysis of IoT security
protocols: The Z-Wave case study},
journal = {Comput. Secur.},
volume = {127},
pages = {103037},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2022.103037},
doi = {10.1016/J.COSE.2022.103037},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/BraghinLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/BersaniBGMRS22,
author = {Marcello M. Bersani and
Chiara Braghin and
Angelo Gargantini and
Raffaela Mirandola and
Elvinia Riccobene and
Patrizia Scandurra},
editor = {Tha{\'{\i}}s Batista and
Tom{\'{a}}s Bures and
Claudia Raibulet and
Henry Muccini},
title = {Engineering of Trust Analysis-Driven Digital Twins for a Medical Device},
booktitle = {Software Architecture. {ECSA} 2022 Tracks and Workshops - Prague,
Czech Republic, September 19-23, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13928},
pages = {467--482},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-36889-9\_31},
doi = {10.1007/978-3-031-36889-9\_31},
timestamp = {Fri, 21 Jul 2023 17:56:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/BersaniBGMRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/BersaniBCGGPMPR22,
author = {Marcello M. Bersani and
Chiara Braghin and
Vittorio Cortellessa and
Angelo Gargantini and
Vincenzo Grassi and
F. Lo Presti and
Raffaela Mirandola and
Alfonso Pierantonio and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Towards Trust-preserving Continuous Co-evolution of Digital Twins},
booktitle = {{IEEE} 19th International Conference on Software Architecture Companion,
{ICSA} Companion 2022, Honolulu, HI, USA, March 12-15, 2022},
pages = {96--99},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSA-C54293.2022.00024},
doi = {10.1109/ICSA-C54293.2022.00024},
timestamp = {Thu, 11 Aug 2022 13:51:05 +0200},
biburl = {https://dblp.org/rec/conf/icsa/BersaniBCGGPMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BraghinLR21,
author = {Chiara Braghin and
Mario Lilli and
Elvinia Riccobene},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry},
title = {Towards ASM-Based Automated Formal Verification of Security Protocols},
booktitle = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
2021, Ulm, Germany, June 9-11, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12709},
pages = {17--33},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77543-8\_2},
doi = {10.1007/978-3-030-77543-8\_2},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BraghinLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr2/HatzivasilisISS21,
author = {George Hatzivasilis and
Sotiris Ioannidis and
Michail Smyrlis and
George Spanoudakis and
Fulvio Frati and
Chiara Braghin and
Ernesto Damiani and
Hristo Koshutanski and
George Tsakirakis and
Torsten Hildebrandt and
Ludger Goeke and
Sebastian Pape and
Oleg Blinder and
Michael Vinov and
George Leftheriotis and
Martin Kunc and
Fotis Oikonomou and
Giovanni Magilo and
Vito Petrarolo and
Antonio Chieti and
Robert Bordianu},
title = {The {THREAT-ARREST} Cyber Range Platform},
booktitle = {{IEEE} International Conference on Cyber Security and Resilience,
{CSR} 2021, Rhodes, Greece, July 26-28, 2021},
pages = {422--427},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSR51186.2021.9527963},
doi = {10.1109/CSR51186.2021.9527963},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr2/HatzivasilisISS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medes/AnisettiABDPB21,
author = {Marco Anisetti and
Claudio Agostino Ardagna and
Chiara Braghin and
Ernesto Damiani and
Antongiacomo Polimeno and
Alessandro Balestrucci},
editor = {Richard Chbeir and
Yannis Manolopoulos and
Ladjel Bellatreche and
Djamal Benslimane and
Mirjana Ivanovic and
Zakaria Maamar},
title = {Dynamic and Scalable Enforcement of Access Control Policies for Big
Data},
booktitle = {{MEDES} '21: Proceedings of the 13th International Conference on Management
of Digital EcoSystems, Virtual Event, Tunisia, November 1 - 3, 2021},
pages = {71--78},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3444757.3485107},
doi = {10.1145/3444757.3485107},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medes/AnisettiABDPB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/LilliBR21,
author = {Mario Lilli and
Chiara Braghin and
Elvinia Riccobene},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {Formal Proof of a Vulnerability in Z-Wave IoT Protocol},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {198--209},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010553301980209},
doi = {10.5220/0010553301980209},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/LilliBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mstec/BraghinCDFRA20,
author = {Chiara Braghin and
Stelvio Cimato and
Ernesto Damiani and
Fulvio Frati and
Elvinia Riccobene and
Sadegh Astaneh},
editor = {George Hatzivasilis and
Sotiris Ioannidis},
title = {Towards the Monitoring and Evaluation of Trainees' Activities in Cyber
Ranges},
booktitle = {Model-driven Simulation and Training Environments for Cybersecurity
- Second International Workshop, {MSTEC} 2020, Guildford, UK, September
14-18, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12512},
pages = {79--91},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62433-0\_5},
doi = {10.1007/978-3-030-62433-0\_5},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mstec/BraghinCDFRA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/BraghinCCDM19,
author = {Chiara Braghin and
Stelvio Cimato and
Simone Raimondi Cominesi and
Ernesto Damiani and
Lara Mauri},
editor = {Witold Abramowicz and
Rafael Corchuelo},
title = {Towards Blockchain-Based E-Voting Systems},
booktitle = {Business Information Systems Workshops - {BIS} 2019 International
Workshops, Seville, Spain, June 26-28, 2019, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {373},
pages = {274--286},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36691-9\_24},
doi = {10.1007/978-3-030-36691-9\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bis/BraghinCCDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BraghinCDFMR19,
author = {Chiara Braghin and
Stelvio Cimato and
Ernesto Damiani and
Fulvio Frati and
Lara Mauri and
Elvinia Riccobene},
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 = {A Model Driven Approach for Cyber Security Scenarios Deployment},
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 = {107--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-42051-2\_8},
doi = {10.1007/978-3-030-42051-2\_8},
timestamp = {Mon, 03 Jan 2022 22:15:08 +0100},
biburl = {https://dblp.org/rec/conf/esorics/BraghinCDFMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BraghinCL18,
author = {Chiara Braghin and
Stelvio Cimato and
Alessio Della Libera},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Md. Kamrul Hasan},
title = {Are mHealth Apps Secure? {A} Case Study},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 2},
pages = {335--340},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.10253},
doi = {10.1109/COMPSAC.2018.10253},
timestamp = {Mon, 19 Aug 2024 08:42:01 +0200},
biburl = {https://dblp.org/rec/conf/compsac/BraghinCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BraghinV17,
author = {Chiara Braghin and
Marilisa Del Vecchio},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Is Pok{\'{e}}mon {GO} Watching You? {A} Survey on the Privacy-Awareness
of Location-Based Apps' Users},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 2},
pages = {164--169},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.158},
doi = {10.1109/COMPSAC.2017.158},
timestamp = {Mon, 02 Sep 2024 08:02:21 +0200},
biburl = {https://dblp.org/rec/conf/compsac/BraghinV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/AzziniBDZ13,
author = {Antonia Azzini and
Chiara Braghin and
Ernesto Damiani and
Francesco Zavatarelli},
editor = {Rafael Accorsi and
Paolo Ceravolo and
Philippe Cudr{\'{e}}{-}Mauroux},
title = {Using Semantic Lifting for improving Process Mining: a Data Loss Prevention
System case study},
booktitle = {Proceedings of the 3rd International Symposium on Data-driven Process
Discovery and Analysis, Riva del Garda, Italy, August 30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1027},
pages = {62--73},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1027/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/simpda/AzziniBDZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/AriglianoABCCDSVZ13,
author = {Francesco Arigliano and
Antonia Azzini and
Chiara Braghin and
Antonio Caforio and
Paolo Ceravolo and
Ernesto Damiani and
Vincenzo Savarino and
Claudia Vicari and
Francesco Zavatarelli},
editor = {Rafael Accorsi and
Paolo Ceravolo and
Philippe Cudr{\'{e}}{-}Mauroux},
title = {Knowledge and Business Intelligence Technologies in Cross-Enterprise
Environments for Italian Advanced Mechanical Industry},
booktitle = {Proceedings of the 3rd International Symposium on Data-driven Process
Discovery and Analysis, Riva del Garda, Italy, August 30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1027},
pages = {104--110},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1027/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simpda/AriglianoABCCDSVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonizzoniBDT12,
author = {Paola Bonizzoni and
Chiara Braghin and
Riccardo Dondi and
Gabriella Trucco},
title = {The binary perfect phylogeny with persistent characters},
journal = {Theor. Comput. Sci.},
volume = {454},
pages = {51--63},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.05.035},
doi = {10.1016/J.TCS.2012.05.035},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonizzoniBDT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BraghinSB11,
author = {Chiara Braghin and
Natasha Sharygina and
Katerina Barone{-}Adesi},
title = {A model checking-based approach for security policy verification of
mobile systems},
journal = {Formal Aspects Comput.},
volume = {23},
number = {5},
pages = {627--648},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0159-y},
doi = {10.1007/S00165-010-0159-Y},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BraghinSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-6739,
author = {Chiara Braghin and
Riccardo Dondi and
Gabriella Trucco and
Paola Bonizzoni},
title = {The Binary Perfect Phylogeny with Persistent characters},
journal = {CoRR},
volume = {abs/1110.6739},
year = {2011},
url = {http://arxiv.org/abs/1110.6739},
eprinttype = {arXiv},
eprint = {1110.6739},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-6739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BraghinCF08,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi},
title = {Information flow security in Boundary Ambients},
journal = {Inf. Comput.},
volume = {206},
number = {2-4},
pages = {460--489},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.12.001},
doi = {10.1016/J.IC.2007.12.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BraghinCF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognetwente/AringhieriBC08,
author = {Roberto Aringhieri and
Chiara Braghin and
Daniele Catanzaro},
title = {An Exact Approach for solving the Balanced Minimum Evolution Problem},
booktitle = {Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization,
gargano, Italy, 13-15 May, 2008},
pages = {48--51},
publisher = {University of Milan},
year = {2008},
timestamp = {Fri, 28 Nov 2008 12:43:29 +0100},
biburl = {https://dblp.org/rec/conf/colognetwente/AringhieriBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BraghinSB07,
author = {Chiara Braghin and
Natasha Sharygina and
Katerina Barone{-}Adesi},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Automated Verification of Security Policies in Mobile Code},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {37--53},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_3},
doi = {10.1007/978-3-540-73210-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BraghinSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BraghinGS06,
author = {Chiara Braghin and
Daniele Gorla and
Vladimiro Sassone},
title = {Role-based access control for a distributed calculus},
journal = {J. Comput. Secur.},
volume = {14},
number = {2},
pages = {113--155},
year = {2006},
url = {https://doi.org/10.3233/jcs-2006-14202},
doi = {10.3233/JCS-2006-14202},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BraghinGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Braghin05,
author = {Chiara Braghin},
title = {Static analysis of security properties in mobile ambients},
school = {Ca' Foscari University of Venice, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0025706},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Braghin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BraghinCFLP04,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
title = {Nesting analysis of mobile ambients},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {207--230},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.02.004},
doi = {10.1016/J.CL.2004.02.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BraghinCFLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BraghinGS04,
author = {Chiara Braghin and
Daniele Gorla and
Vladimiro Sassone},
title = {A Distributed Calculus for Ro{\^{}}le-Based Access Control},
booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004),
28-30 June 2004, Pacific Grove, CA, {USA}},
pages = {48--60},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.1},
doi = {10.1109/CSFW.2004.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BraghinGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraghinC05,
author = {Chiara Braghin and
Agostino Cortesi},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Flow-sensitive Leakage Analysis in Mobile Ambients},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
pages = {17--25},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.039},
doi = {10.1016/J.ENTCS.2004.11.039},
timestamp = {Mon, 12 Dec 2022 15:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraghinC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BraghinCFFLP03,
author = {Chiara Braghin and
Agostino Cortesi and
Stefano Filippone and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
editor = {Hubert Garavel and
John Hatcliff},
title = {{BANANA} - {A} Tool for Boundary Ambients Nesting ANAlysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {437--441},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_32},
doi = {10.1007/3-540-36577-X\_32},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BraghinCFFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BraghinCFLP03,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Complexity of Nesting Analysis in Mobile Ambients},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {86--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_10},
doi = {10.1007/3-540-36384-X\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BraghinCFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraghinCF03,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi},
editor = {James Harland},
title = {Information Leakage Detection in Boundary Ambients},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {123--143},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81010-7},
doi = {10.1016/S1571-0661(04)81010-7},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraghinCF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraghinP04,
author = {Chiara Braghin and
Carla Piazza},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Checking Integrity via CoPS and Banana: the E-Commerce Case Study},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {295--317},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.013},
doi = {10.1016/J.ENTCS.2004.02.013},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraghinP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraghinCFLP04,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Behind {BANANA:} Design and Implementation of a Tool for Nesting Analysis
of Mobile Ambients},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {319--337},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.014},
doi = {10.1016/J.ENTCS.2004.02.014},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraghinCFLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BraghinCF02,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi},
title = {Security boundaries in mobile ambients},
journal = {Comput. Lang. Syst. Struct.},
volume = {28},
number = {1},
pages = {101--127},
year = {2002},
url = {https://doi.org/10.1016/S0096-0551(02)00009-7},
doi = {10.1016/S0096-0551(02)00009-7},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BraghinCF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BraghinCF02,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi},
editor = {Bart Jacobs and
Arend Rensink},
title = {Control Flow Analysis of Mobile Ambients with Security Boundaries},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {197--212},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BraghinCF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BraghinCFB02,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Steffen van Bakel},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {Boundary Inference for Enforcing Security Policies in Mobile Ambients},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {383--395},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_32},
doi = {10.1007/978-0-387-35608-2\_32},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BraghinCFB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-07 02:05 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:
