default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nuno Neves 0001
@inproceedings{DBLP:conf/dsn/RodriguesSN23,
author = {Filipe Rodrigues and
Rodrigo Sim{\~{o}}es and
Nuno Neves},
title = {{FADO:} {A} Federated Learning Attack and Defense Orchestrator},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30,
2023},
pages = {141--148},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-W58399.2023.00043},
doi = {10.1109/DSN-W58399.2023.00043},
timestamp = {Sun, 20 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/RodriguesSN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AntunesMN23,
author = {Paulo Antunes and
Ib{\'{e}}ria Medeiros and
Nuno Neves},
title = {Towards {PHP} Vulnerability Detection at an Intermediate Language
Level},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Supplemental Volume, Porto, Portugal, June
27-30, 2023},
pages = {182--184},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-S58398.2023.00049},
doi = {10.1109/DSN-S58398.2023.00049},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/AntunesMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/MedeirosNC22,
author = {Ib{\'{e}}ria Medeiros and
Nuno Neves and
Miguel Correia},
title = {Statically Detecting Vulnerabilities by Processing Programming Languages
as Natural Languages},
journal = {{IEEE} Trans. Reliab.},
volume = {71},
number = {2},
pages = {1033--1056},
year = {2022},
url = {https://doi.org/10.1109/TR.2021.3137314},
doi = {10.1109/TR.2021.3137314},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/MedeirosNC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/000122,
author = {Nuno Neves},
title = {Towards Fuzzing Target Lines},
booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2022, Supplemental Volume, Baltimore, MD, USA,
June 27-30, 2022},
pages = {35--36},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSN-S54099.2022.00022},
doi = {10.1109/DSN-S54099.2022.00022},
timestamp = {Wed, 03 Aug 2022 09:05:42 +0200},
biburl = {https://dblp.org/rec/conf/dsn/000122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/MendesOCNB21,
author = {Ricardo Mendes and
Tiago Oliveira and
Vinicius Vielmo Cogo and
Nuno Neves and
Alysson Bessani},
title = {Charon: {A} Secure Cloud-of-Clouds System for Storing and Sharing
Big Data},
journal = {{IEEE} Trans. Cloud Comput.},
volume = {9},
number = {4},
pages = {1349--1361},
year = {2021},
url = {https://doi.org/10.1109/TCC.2019.2916856},
doi = {10.1109/TCC.2019.2916856},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcc/MendesOCNB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimva/2021,
editor = {Leyla Bilge and
Lorenzo Cavallaro and
Giancarlo Pellegrino and
Nuno Neves},
title = {Detection of Intrusions and Malware, and Vulnerability Assessment
- 18th International Conference, {DIMVA} 2021, Virtual Event, July
14-16, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12756},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80825-9},
doi = {10.1007/978-3-030-80825-9},
isbn = {978-3-030-80824-2},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimva/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/AlalunaFFNR20,
author = {Max Alaluna and
Lu{\'{\i}}s Ferrolho and
Jos{\'{e}} Rui Figueira and
Nuno Neves and
Fernando M. V. Ramos},
title = {Secure multi-cloud virtual network embedding},
journal = {Comput. Commun.},
volume = {155},
pages = {252--265},
year = {2020},
url = {https://doi.org/10.1016/j.comcom.2020.03.023},
doi = {10.1016/J.COMCOM.2020.03.023},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comcom/AlalunaFFNR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Medeiros020,
author = {Ib{\'{e}}ria Medeiros and
Nuno Neves},
title = {Impact of Coding Styles on Behaviours of Static Analysis Tools for
Web Applications},
booktitle = {50th Annual {IEEE-IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2020, Valencia, Spain, June 29 - July 2, 2020
- Supplemental Volume},
pages = {55--56},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSN-S50200.2020.00030},
doi = {10.1109/DSN-S50200.2020.00030},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/Medeiros020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/Medeiros020,
author = {Ib{\'{e}}ria Medeiros and
Nuno Neves},
title = {Effect of Coding Styles in Detection of Web Application Vulnerabilities},
booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich,
Germany, September 7-10, 2020},
pages = {111--118},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EDCC51268.2020.00027},
doi = {10.1109/EDCC51268.2020.00027},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/Medeiros020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/MorgadoM020,
author = {Ricardo Morgado and
Ib{\'{e}}ria Medeiros and
Nuno Neves},
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Towards Web Application Security by Automated Code Correction},
booktitle = {Proceedings of the 15th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2020, Prague, Czech
Republic, May 5-6, 2020},
pages = {86--96},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009369900860096},
doi = {10.5220/0009369900860096},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/MorgadoM020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AraujoM020,
author = {Francisco Ara{\'{u}}jo and
Ib{\'{e}}ria Medeiros and
Nuno Neves},
title = {Generating Tests for the Discovery of Security Flaws in Product Variants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {133--142},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00033},
doi = {10.1109/ICSTW50294.2020.00033},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AraujoM020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FidalgoMA020,
author = {Ana Fidalgo and
Ib{\'{e}}ria Medeiros and
Paulo Antunes and
Nuno Neves},
title = {Towards a Deep Learning Model for Vulnerability Detection on Web Application
Variants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {465--476},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00083},
doi = {10.1109/ICSTW50294.2020.00083},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FidalgoMA020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/Alaluna0R20,
author = {Max Alaluna and
Nuno Neves and
Fernando M. V. Ramos},
title = {Elastic Network Virtualization},
booktitle = {39th {IEEE} Conference on Computer Communications, {INFOCOM} 2020,
Toronto, ON, Canada, July 6-9, 2020},
pages = {814--823},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/INFOCOM41043.2020.9155287},
doi = {10.1109/INFOCOM41043.2020.9155287},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/Alaluna0R20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/GomesMN20,
author = {Pedro Gomes and
Na{\'{e}}rcio Magaia and
Nuno Neves},
editor = {George Mastorakis and
Constandinos X. Mavromoustakis and
Jordi Mongay Batalla and
Evangelos Pallis},
title = {Industrial and Artificial Internet of Things with Augmented Reality},
booktitle = {Convergence of Artificial Intelligence and the Internet of Things
- Technology, Communications and Computing},
pages = {323--346},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44907-0\_13},
doi = {10.1007/978-3-030-44907-0\_13},
timestamp = {Thu, 14 Oct 2021 08:46:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/GomesMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimva/2020,
editor = {Cl{\'{e}}mentine Maurice and
Leyla Bilge and
Gianluca Stringhini and
Nuno Neves},
title = {Detection of Intrusions and Malware, and Vulnerability Assessment
- 17th International Conference, {DIMVA} 2020, Lisbon, Portugal, June
24-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12223},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52683-2},
doi = {10.1007/978-3-030-52683-2},
isbn = {978-3-030-52682-5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimva/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/AlalunaVNR19,
author = {Max Alaluna and
Eric Vial and
Nuno Neves and
Fernando M. V. Ramos},
title = {Secure Multi-Cloud Network Virtualization},
journal = {Comput. Networks},
volume = {161},
pages = {45--60},
year = {2019},
url = {https://doi.org/10.1016/j.comnet.2019.06.004},
doi = {10.1016/J.COMNET.2019.06.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/AlalunaVNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/NunesMFNCV19,
author = {Paulo Jorge Costa Nunes and
Ib{\'{e}}ria Medeiros and
Jos{\'{e}} Fonseca and
Nuno Neves and
Miguel Correia and
Marco Vieira},
title = {An empirical study on combining diverse static analysis tools for
web security vulnerabilities based on development scenarios},
journal = {Computing},
volume = {101},
number = {2},
pages = {161--185},
year = {2019},
url = {https://doi.org/10.1007/s00607-018-0664-z},
doi = {10.1007/S00607-018-0664-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/NunesMFNCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ViegasSBN19,
author = {Eduardo Viegas and
Altair Olivo Santin and
Alysson Bessani and
Nuno Neves},
title = {BigFlow: Real-time and reliable anomaly-based intrusion detection
for high-speed networks},
journal = {Future Gener. Comput. Syst.},
volume = {93},
pages = {473--485},
year = {2019},
url = {https://doi.org/10.1016/j.future.2018.09.051},
doi = {10.1016/J.FUTURE.2018.09.051},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/ViegasSBN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/MeloBNSC19,
author = {Wilson S. Melo and
Alysson Bessani and
Nuno Neves and
Altair Olivo Santin and
Luiz Fernando Rust da Costa Carmo},
title = {Using Blockchains to Implement Distributed Measuring Systems},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {68},
number = {5},
pages = {1503--1514},
year = {2019},
url = {https://doi.org/10.1109/TIM.2019.2898013},
doi = {10.1109/TIM.2019.2898013},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/MeloBNSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/MedeirosBNC19,
author = {Ib{\'{e}}ria Medeiros and
Miguel Beatriz and
Nuno Neves and
Miguel Correia},
title = {{SEPTIC:} Detecting Injection Attacks and Vulnerabilities Inside the
{DBMS}},
journal = {{IEEE} Trans. Reliab.},
volume = {68},
number = {3},
pages = {1168--1188},
year = {2019},
url = {https://doi.org/10.1109/TR.2019.2900007},
doi = {10.1109/TR.2019.2900007},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/MedeirosBNC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/GarciaB019,
author = {Miguel Garcia and
Alysson Bessani and
Nuno Neves},
title = {Lazarus: Automatic Management of Diversity in {BFT} Systems},
booktitle = {Proceedings of the 20th International Middleware Conference, Middleware
2019, Davis, CA, USA, December 9-13, 2019},
pages = {241--254},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3361525.3361550},
doi = {10.1145/3361525.3361550},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/GarciaB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-06826,
author = {Ib{\'{e}}ria Medeiros and
Nuno Neves and
Miguel Correia},
title = {Statically Detecting Vulnerabilities by Processing Programming Languages
as Natural Languages},
journal = {CoRR},
volume = {abs/1910.06826},
year = {2019},
url = {http://arxiv.org/abs/1910.06826},
eprinttype = {arXiv},
eprint = {1910.06826},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-06826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/GarciaNB18,
author = {Miguel Garcia and
Nuno Neves and
Alysson Bessani},
title = {SieveQ: {A} Layered {BFT} Protection System for Critical Services},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {15},
number = {3},
pages = {511--525},
year = {2018},
url = {https://doi.org/10.1109/TDSC.2016.2593442},
doi = {10.1109/TDSC.2016.2593442},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/GarciaNB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/NunesMFNCV18,
author = {Paulo Jorge Costa Nunes and
Iberia Medeiros and
Jos{\'{e}} Fonseca and
Nuno Neves and
Miguel Correia and
Marco Vieira},
title = {Benchmarking Static Analysis Tools for Web Security},
journal = {{IEEE} Trans. Reliab.},
volume = {67},
number = {3},
pages = {1159--1175},
year = {2018},
url = {https://doi.org/10.1109/TR.2018.2839339},
doi = {10.1109/TR.2018.2839339},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/NunesMFNCV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NogueiraGB018,
author = {Andr{\'{e}} Nogueira and
Miguel Garcia and
Alysson Bessani and
Nuno Neves},
title = {On the Challenges of Building a {BFT} {SCADA}},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
2018},
pages = {163--170},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSN.2018.00028},
doi = {10.1109/DSN.2018.00028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/NogueiraGB018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MendesM018,
author = {Henrique Mendes and
Iberia Medeiros and
Nuno Neves},
title = {Validating and Securing {DLMS/COSEM} Implementations with the ValiDLMS
Framework},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2018, Luxembourg, June 25-28,
2018},
pages = {179--184},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/DSN-W.2018.00060},
doi = {10.1109/DSN-W.2018.00060},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MendesM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/VacasM018,
author = {Ivo Vacas and
Iberia Medeiros and
Nuno Neves},
title = {Detecting Network Threats using {OSINT} Knowledge-Based {IDS}},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {128--135},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00031},
doi = {10.1109/EDCC.2018.00031},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/VacasM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/MeloCB0S18,
author = {Wilson S. Melo and
Luiz F. R. C. Carmo and
Alysson Bessani and
Nuno Neves and
Altair Olivo Santin},
title = {How blockchains can improve measuring instruments regulation and control},
booktitle = {{IEEE} International Instrumentation and Measurement Technology Conference,
{I2MTC} 2018, Houston, TX, USA, May 14-17, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/I2MTC.2018.8409724},
doi = {10.1109/I2MTC.2018.8409724},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/i2mtc/MeloCB0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09107,
author = {David R. Matos and
Nuno Neves and
Alysson Bessani},
title = {{SITAN:} Services for Fault-Tolerant Ad Hoc Networks with Unknown
Participants},
journal = {CoRR},
volume = {abs/1804.09107},
year = {2018},
url = {http://arxiv.org/abs/1804.09107},
eprinttype = {arXiv},
eprint = {1804.09107},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-09107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/VavalaNS17,
author = {Bruno Vavala and
Nuno Ferreira Neves and
Peter Steenkiste},
title = {Secure Tera-scale Data Crunching with a Small {TCB}},
booktitle = {47th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2017, Denver, CO, USA, June 26-29, 2017},
pages = {169--180},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/DSN.2017.53},
doi = {10.1109/DSN.2017.53},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/VavalaNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MedeirosBNC17,
author = {Iberia Medeiros and
Miguel Beatriz and
Nuno Ferreira Neves and
Miguel Correia},
title = {Demonstrating a Tool for Injection Attack Prevention in MySQL},
booktitle = {47th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2017, Denver, CO, USA, June 26-29, 2017},
pages = {551--558},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/DSN.2017.38},
doi = {10.1109/DSN.2017.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MedeirosBNC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/NunesMFNCV17,
author = {Paulo Jorge Costa Nunes and
Iberia Medeiros and
Jos{\'{e}} Fonseca and
Nuno Ferreira Neves and
Miguel Correia and
Marco Vieira},
title = {On Combining Diverse Static Analysis Tools for Web Security: An Empirical
Study},
booktitle = {13th European Dependable Computing Conference, {EDCC} 2017, Geneva,
Switzerland, September 4-8, 2017},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/EDCC.2017.16},
doi = {10.1109/EDCC.2017.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/NunesMFNCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/AlalunaVNR17,
author = {Max Alaluna and
Eric Vial and
Nuno Neves and
Fernando M. V. Ramos},
editor = {Marc Lacoste and
Fernando Ramos},
title = {Secure and Dependable Multi-Cloud Network Virtualization},
booktitle = {Proceedings of the 1st International Workshop on Security and Dependability
of Multi-Domain Infrastructures, XDOMO'17, Belgrade, Serbia, April
23-26, 2017},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3071064.3071066},
doi = {10.1145/3071064.3071066},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/AlalunaVNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/ViegasSNBA17,
author = {Eduardo Viegas and
Altair Olivo Santin and
Nuno Ferreira Neves and
Alysson Bessani and
Vilmar Abreu},
title = {A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time
Analysis of Network Traffic},
booktitle = {2017 {IEEE} Global Communications Conference, {GLOBECOM} 2017, Singapore,
December 4-8, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/GLOCOM.2017.8254495},
doi = {10.1109/GLOCOM.2017.8254495},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/ViegasSNBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfvsdn/PereiraNR17,
author = {Fabio Pereira and
Nuno Neves and
Fernando M. V. Ramos},
title = {Secure network monitoring using programmable data planes},
booktitle = {2017 {IEEE} Conference on Network Function Virtualization and Software
Defined Networks, {NFV-SDN} 2017, Berlin, Germany, November 6-8, 2017},
pages = {286--291},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/NFV-SDN.2017.8169867},
doi = {10.1109/NFV-SDN.2017.8169867},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/nfvsdn/PereiraNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlalunaFFNR17,
author = {Max Alaluna and
Lu{\'{\i}}s Ferrolho and
Jos{\'{e}} Rui Figueira and
Nuno Neves and
Fernando M. V. Ramos},
title = {Secure Virtual Network Embedding in a Multi-Cloud Environment},
journal = {CoRR},
volume = {abs/1703.01313},
year = {2017},
url = {http://arxiv.org/abs/1703.01313},
eprinttype = {arXiv},
eprint = {1703.01313},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlalunaFFNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cloudcomp/LacosteMNRVCYOV16,
author = {Marc Lacoste and
Markus Miettinen and
Nuno Neves and
Fernando M. V. Ramos and
Marko Vukolic and
Fabien Charmet and
Reda Yaich and
Krzysztof Oborzynski and
Gitesh Vernekar and
Paulo Sousa},
title = {User-Centric Security and Dependability in the Clouds-of-Clouds},
journal = {{IEEE} Cloud Comput.},
volume = {3},
number = {5},
pages = {64--75},
year = {2016},
url = {https://doi.org/10.1109/MCC.2016.110},
doi = {10.1109/MCC.2016.110},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cloudcomp/LacosteMNRVCYOV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BessaniNVDFSLC16,
author = {Alysson Bessani and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo and
Wagner Saback Dantas and
Alexandre Fonseca and
Rui Silva and
Pedro Luz and
Miguel Correia},
title = {JITeR: Just-in-time application-layer routing},
journal = {Comput. Networks},
volume = {104},
pages = {122--136},
year = {2016},
url = {https://doi.org/10.1016/j.comnet.2016.05.010},
doi = {10.1016/J.COMNET.2016.05.010},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/BessaniNVDFSLC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/MedeirosNC16,
author = {Iberia Medeiros and
Nuno Ferreira Neves and
Miguel Correia},
title = {Detecting and Removing Web Application Vulnerabilities with Static
Analysis and Data Mining},
journal = {{IEEE} Trans. Reliab.},
volume = {65},
number = {1},
pages = {54--69},
year = {2016},
url = {https://doi.org/10.1109/TR.2015.2457411},
doi = {10.1109/TR.2015.2457411},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/MedeirosNC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/MedeirosBNC16,
author = {Iberia Medeiros and
Miguel Beatriz and
Nuno Ferreira Neves and
Miguel Correia},
editor = {Elisa Bertino and
Ravi S. Sandhu and
Alexander Pretschner},
title = {Hacking the {DBMS} to Prevent Injection Attacks},
booktitle = {Proceedings of the Sixth {ACM} on Conference on Data and Application
Security and Privacy, {CODASPY} 2016, New Orleans, LA, USA, March
9-11, 2016},
pages = {295--306},
publisher = {{ACM}},
year = {2016},
url = {https://dl.acm.org/citation.cfm?id=2857723},
timestamp = {Tue, 09 Feb 2021 08:50:28 +0100},
biburl = {https://dblp.org/rec/conf/codaspy/MedeirosBNC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/VavalaNS16,
author = {Bruno Vavala and
Nuno Ferreira Neves and
Peter Steenkiste},
title = {Secure Identification of Actively Executed Code on a Generic Trusted
Component},
booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016},
pages = {419--430},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSN.2016.45},
doi = {10.1109/DSN.2016.45},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/VavalaNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MedeirosNC16,
author = {Iberia Medeiros and
Nuno Ferreira Neves and
Miguel Correia},
title = {Equipping {WAP} with {WEAPONS} to Detect Vulnerabilities: Practical
Experience Report},
booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016},
pages = {630--637},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSN.2016.63},
doi = {10.1109/DSN.2016.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MedeirosNC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MedeirosNC16,
author = {Ib{\'{e}}ria Medeiros and
Nuno Ferreira Neves and
Miguel Correia},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {{DEKANT:} a static analysis tool that learns to detect web application
vulnerabilities},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {1--11},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931041},
doi = {10.1145/2931037.2931041},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/MedeirosNC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netsoft/AlalunaRN16,
author = {Max Alaluna and
Fernando M. V. Ramos and
Nuno Neves},
title = {(Literally) Above the clouds: Virtualizing the network over multiple
clouds},
booktitle = {{IEEE} NetSoft Conference and Workshops, NetSoft 2016, Seoul, South
Korea, June 6-10, 2016},
pages = {112--115},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/NETSOFT.2016.7502455},
doi = {10.1109/NETSOFT.2016.7502455},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/netsoft/AlalunaRN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FerrolhoANR16,
author = {Lu{\'{\i}}s Ferrolho and
Max Alaluna and
Nuno Neves and
Fernando M. V. Ramos},
title = {Secure and Dependable Virtual Network Embedding},
journal = {CoRR},
volume = {abs/1602.02268},
year = {2016},
url = {http://arxiv.org/abs/1602.02268},
eprinttype = {arXiv},
eprint = {1602.02268},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FerrolhoANR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/VavalaNS15,
author = {Bruno Vavala and
Nuno Ferreira Neves and
Peter Steenkiste},
title = {Securing Passive Replication through Verification},
booktitle = {34th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2015,
Montreal, QC, Canada, September 28 - October 1, 2015},
pages = {176--181},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SRDS.2015.38},
doi = {10.1109/SRDS.2015.38},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/srds/VavalaNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlalunaRN15,
author = {Max Alaluna and
Fernando M. V. Ramos and
Nuno Neves},
title = {(Literally) above the clouds: virtualizing the network over multiple
clouds},
journal = {CoRR},
volume = {abs/1512.01196},
year = {2015},
url = {http://arxiv.org/abs/1512.01196},
eprinttype = {arXiv},
eprint = {1512.01196},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlalunaRN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GarciaBGNO14,
author = {Miguel Garcia and
Alysson Neves Bessani and
Ilir Gashi and
Nuno Ferreira Neves and
Rafael R. Obelheiro},
title = {Analysis of operating system diversity for intrusion tolerance},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {6},
pages = {735--770},
year = {2014},
url = {https://doi.org/10.1002/spe.2180},
doi = {10.1002/SPE.2180},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GarciaBGNO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LopesN14,
author = {Jos{\'{e}} Lopes and
Nuno Neves},
title = {Stopping a Rapid Tornado with a Puff},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {509--523},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SP.2014.39},
doi = {10.1109/SP.2014.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/LopesN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BessaniMONCPV14,
author = {Alysson Neves Bessani and
Ricardo Mendes and
Tiago Oliveira and
Nuno Ferreira Neves and
Miguel Correia and
Marcelo Pasin and
Paulo Ver{\'{\i}}ssimo},
editor = {Garth Gibson and
Nickolai Zeldovich},
title = {{SCFS:} {A} Shared Cloud-backed File System},
booktitle = {Proceedings of the 2014 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2014, Philadelphia, PA, USA, June 19-20, 2014},
pages = {169--180},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/bessani},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/BessaniMONCPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MedeirosNC14,
author = {Iberia Medeiros and
Nuno Ferreira Neves and
Miguel Correia},
editor = {Chin{-}Wan Chung and
Andrei Z. Broder and
Kyuseok Shim and
Torsten Suel},
title = {Automatic detection and correction of web application vulnerabilities
using data mining to predict false positives},
booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
of Korea, April 7-11, 2014},
pages = {63--74},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2566486.2568024},
doi = {10.1145/2566486.2568024},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/MedeirosNC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CorreiaNV13,
author = {Miguel Correia and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {{BFT-TO:} Intrusion Tolerance with Less Replicas},
journal = {Comput. J.},
volume = {56},
number = {6},
pages = {693--715},
year = {2013},
url = {https://doi.org/10.1093/comjnl/bxs148},
doi = {10.1093/COMJNL/BXS148},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/CorreiaNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/MonizNC13,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia},
title = {Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {12},
number = {12},
pages = {2441--2454},
year = {2013},
url = {https://doi.org/10.1109/TMC.2012.225},
doi = {10.1109/TMC.2012.225},
timestamp = {Tue, 12 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmc/MonizNC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GarciaNB13,
author = {Miguel Garcia and
Nuno Ferreira Neves and
Alysson Bessani},
title = {An intrusion-tolerant firewall design for protecting {SIEM} systems},
booktitle = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSNW.2013.6615538},
doi = {10.1109/DSNW.2013.6615538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GarciaNB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdc/MendoncaN13,
author = {Manuel Mendon{\c{c}}a and
Nuno Ferreira Neves},
editor = {Marco Vieira and
Jo{\~{a}}o Carlos Cunha},
title = {Intercept: Profiling Windows Network Device Drivers},
booktitle = {Dependable Computing - 14th European Workshop, {EWDC} 2013, Coimbra,
Portugal, May 15-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7869},
pages = {61--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38789-0\_6},
doi = {10.1007/978-3-642-38789-0\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ewdc/MendoncaN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/CarvalhoKN13,
author = {Tiago Carvalho and
Hyong S. Kim and
Nuno Neves},
title = {{PACE} your network: Fair and controllable multi-tenant data center
networks},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2013, Budapest, Hungary, June 9-13, 2013},
pages = {3726--3731},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICC.2013.6655134},
doi = {10.1109/ICC.2013.6655134},
timestamp = {Thu, 25 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/CarvalhoKN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/MedeirosNC13,
author = {Iberia Medeiros and
Nuno Ferreira Neves and
Miguel Correia},
title = {Securing energy metering software with automatic source code correction},
booktitle = {11th {IEEE} International Conference on Industrial Informatics, {INDIN}
2013, Bochum, Germany, July 29-31, 2013},
pages = {701--706},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/INDIN.2013.6622969},
doi = {10.1109/INDIN.2013.6622969},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/MedeirosNC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BessaniSFNC13,
author = {Alysson Neves Bessani and
Marcel Santos and
Jo{\~{a}}o Felix and
Nuno Ferreira Neves and
Miguel Correia},
editor = {Andrew Birrell and
Emin G{\"{u}}n Sirer},
title = {On the Efficiency of Durable State Machine Replication},
booktitle = {Proceedings of the 2013 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2013, San Jose, CA, USA, June 26-28, 2013},
pages = {169--180},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/bessani},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/BessaniSFNC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AntunesN12,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves},
title = {Recycling Test Cases to Detect Security Vulnerabilities},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
pages = {231--240},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSRE.2012.3},
doi = {10.1109/ISSRE.2012.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/AntunesN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/VavalaN12,
author = {Bruno Vavala and
Nuno Ferreira Neves},
title = {Robust and Speculative Byzantine Randomized Consensus with Constant
Time Complexity in Normal Conditions},
booktitle = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
Irvine, CA, USA, October 8-11, 2012},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SRDS.2012.62},
doi = {10.1109/SRDS.2012.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/VavalaN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MonizNCV11,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo},
title = {Randomization can be a healer: consensus with dynamic omission failures},
journal = {Distributed Comput.},
volume = {24},
number = {3-4},
pages = {165--175},
year = {2011},
url = {https://doi.org/10.1007/s00446-010-0116-2},
doi = {10.1007/S00446-010-0116-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/MonizNCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/CorreiaVNV11,
author = {Miguel Correia and
Giuliana Santos Veronese and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {Byzantine consensus in asynchronous message-passing systems: a survey},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {2},
number = {2},
pages = {141--161},
year = {2011},
url = {https://doi.org/10.1504/IJCCBS.2011.041257},
doi = {10.1504/IJCCBS.2011.041257},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/CorreiaVNV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/MonizNCV11,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo},
title = {{RITAS:} Services for Randomized Intrusion Tolerance},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {8},
number = {1},
pages = {122--136},
year = {2011},
url = {https://doi.org/10.1109/TDSC.2008.76},
doi = {10.1109/TDSC.2008.76},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/MonizNCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GarciaBGNO11,
author = {Miguel Garcia and
Alysson Neves Bessani and
Ilir Gashi and
Nuno Ferreira Neves and
Rafael R. Obelheiro},
title = {{OS} diversity for intrusion tolerance: Myth or reality?},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {383--394},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958251},
doi = {10.1109/DSN.2011.5958251},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GarciaBGNO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdc/AntunesN11,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves},
editor = {Felicita Di Giandomenico},
title = {Automatically complementing protocol specifications from network traces},
booktitle = {Proceedings of the 13th European Workshop on Dependable Computing,
{EWDC} '11, Pisa, Italy, May 11-12, 2011},
pages = {87--92},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1978582.1978601},
doi = {10.1145/1978582.1978601},
timestamp = {Tue, 06 Nov 2018 16:59:10 +0100},
biburl = {https://dblp.org/rec/conf/ewdc/AntunesN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AntunesN11,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves},
editor = {Tadashi Dohi and
Bojan Cukic},
title = {Using Behavioral Profiles to Detect Software Flaws in Network Servers},
booktitle = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
{ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISSRE.2011.35},
doi = {10.1109/ISSRE.2011.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/AntunesN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/AntunesN11,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves},
title = {DiveInto: Supporting Diversity in Intrusion-Tolerant Systems},
booktitle = {30th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2011),
Madrid, Spain, October 4-7, 2011},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SRDS.2011.25},
doi = {10.1109/SRDS.2011.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/AntunesN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/AntunesNV11,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
editor = {Martin Pinzger and
Denys Poshyvanyk and
Jim Buckley},
title = {Reverse Engineering of Protocols from Network Traces},
booktitle = {18th Working Conference on Reverse Engineering, {WCRE} 2011, Limerick,
Ireland, October 17-20, 2011},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WCRE.2011.28},
doi = {10.1109/WCRE.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/AntunesNV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/SousaBCNV10,
author = {Paulo Sousa and
Alysson Neves Bessani and
Miguel Correia and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {Highly Available Intrusion-Tolerant Services with Proactive-Reactive
Recovery},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {21},
number = {4},
pages = {452--465},
year = {2010},
url = {https://doi.org/10.1109/TPDS.2009.83},
doi = {10.1109/TPDS.2009.83},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/SousaBCNV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AntunesNCVN10,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo and
Rui Ferreira Neves},
title = {Vulnerability Discovery with Attack Injection},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {3},
pages = {357--370},
year = {2010},
url = {https://doi.org/10.1109/TSE.2009.91},
doi = {10.1109/TSE.2009.91},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AntunesNCVN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MonizNC10,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia},
title = {Turquois: Byzantine consensus in wireless ad hoc networks},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {537--546},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544268},
doi = {10.1109/DSN.2010.5544268},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MonizNC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SousaBDSCN09,
author = {Paulo Sousa and
Alysson Neves Bessani and
Wagner Saback Dantas and
Fabio Souto and
Miguel Correia and
Nuno Ferreira Neves},
title = {Intrusion-tolerant self-healing devices for critical infrastructure
protection},
booktitle = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
29 - July 2, 2009},
pages = {217--222},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DSN.2009.5270333},
doi = {10.1109/DSN.2009.5270333},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/SousaBDSCN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/VerissimoBCNS09,
author = {Paulo Ver{\'{\i}}ssimo and
Alysson Neves Bessani and
Miguel Correia and
Nuno Ferreira Neves and
Paulo Sousa},
title = {Designing Modular and Redundant Cyber Architectures for Process Control:
Lessons learned},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.150},
doi = {10.1109/HICSS.2009.150},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/VerissimoBCNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MonizNCV09,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo},
editor = {Idit Keidar},
title = {Randomization Can Be a Healer: Consensus with Dynamic Omission Failures},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {63--77},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_10},
doi = {10.1007/978-3-642-04355-0\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/MonizNCV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/BessaniSCNV08,
author = {Alysson Neves Bessani and
Paulo Sousa and
Miguel Correia and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {The Crutial Way of Critical Infrastructure Protection},
journal = {{IEEE} Secur. Priv.},
volume = {6},
number = {6},
pages = {44--51},
year = {2008},
url = {https://doi.org/10.1109/MSP.2008.158},
doi = {10.1109/MSP.2008.158},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/BessaniSCNV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsose/VerissimoNC08,
author = {Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves and
Miguel Correia},
title = {The {CRUTIAL} reference critical information infrastructure architecture:
a blueprint},
journal = {Int. J. Syst. Syst. Eng.},
volume = {1},
number = {1/2},
pages = {78--95},
year = {2008},
url = {https://doi.org/10.1504/IJSSE.2008.018132},
doi = {10.1504/IJSSE.2008.018132},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsose/VerissimoNC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/MendoncaN08,
author = {Manuel Mendon{\c{c}}a and
Nuno Ferreira Neves},
title = {Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities},
booktitle = {Seventh European Dependable Computing Conference, {EDCC-7} 2008, Kaunas,
Lithuania, 7-9 May 2008},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EDCC-7.2008.22},
doi = {10.1109/EDCC-7.2008.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/MendoncaN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AntunesNV08,
author = {Jo{\~{a}}o Antunes and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {Detection and Prediction of Resource-Exhaustion Vulnerabilities},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {87--96},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.47},
doi = {10.1109/ISSRE.2008.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/AntunesNV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CorreiaNLV07,
author = {Miguel Correia and
Nuno Ferreira Neves and
Lau Cheuk Lung and
Paulo Ver{\'{\i}}ssimo},
title = {Worm-IT - {A} wormhole-based intrusion-tolerant group communication
system},
journal = {J. Syst. Softw.},
volume = {80},
number = {2},
pages = {178--197},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2006.03.034},
doi = {10.1016/J.JSS.2006.03.034},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CorreiaNLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MendoncaN07,
author = {Manuel Mendon{\c{c}}a and
Nuno Ferreira Neves},
title = {Robustness Testing of the Windows {DDK}},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {554--564},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.85},
doi = {10.1109/DSN.2007.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MendoncaN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MendoncaN07,
author = {Manuel Mendon{\c{c}}a and
Nuno Ferreira Neves},
title = {Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities},
booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
pages = {379--380},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HASE.2007.43},
doi = {10.1109/HASE.2007.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MendoncaN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VerissimoNCDKBD07,
author = {Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves and
Miguel Correia and
Yves Deswarte and
Anas Abou El Kalam and
Andrea Bondavalli and
Alessandro Daidone},
editor = {Rog{\'{e}}rio de Lemos and
Felicita Di Giandomenico and
Cristina Gacek and
Henry Muccini and
Marlon Vieira},
title = {The {CRUTIAL} Architecture for Critical Information Infrastructures},
booktitle = {Architecting Dependable Systems {V} [the book is a result from the
{WADS} 2007 and the Third Workshop on the Role of Software Architecture
for Testing and Analysis]},
series = {Lecture Notes in Computer Science},
volume = {5135},
pages = {1--27},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85571-2\_1},
doi = {10.1007/978-3-540-85571-2\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/VerissimoNCDKBD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MonizNCCV07,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia and
Ant{\'{o}}nio Casimiro and
Paulo Ver{\'{\i}}ssimo},
title = {Intrusion Tolerance in Wireless Environments: An Experimental Evaluation},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {357--364},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.33},
doi = {10.1109/PRDC.2007.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MonizNCCV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/SousaBCNV07,
author = {Paulo Sousa and
Alysson Neves Bessani and
Miguel Correia and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {Resilient Intrusion Tolerance through Proactive and Reactive Recovery},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {373--380},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.52},
doi = {10.1109/PRDC.2007.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/SousaBCNV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BessaniCMNV07,
author = {Alysson Neves Bessani and
Miguel Correia and
Henrique Moniz and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
editor = {Andrzej Pelc},
title = {When 3\emph{f}+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous
Byzantine Consensus},
booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
Lemesos, Cyprus, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4731},
pages = {480--481},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75142-7\_36},
doi = {10.1007/978-3-540-75142-7\_36},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BessaniCMNV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CorreiaNV06,
author = {Miguel Correia and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant
Protocols without Signatures},
journal = {Comput. J.},
volume = {49},
number = {1},
pages = {82--96},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxh145},
doi = {10.1093/COMJNL/BXH145},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/CorreiaNV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/VerissimoNCPPDSW06,
author = {Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves and
Christian Cachin and
Jonathan A. Poritz and
David Powell and
Yves Deswarte and
Robert J. Stroud and
Ian Welch},
title = {Intrusion-tolerant middleware: the road to automatic security},
journal = {{IEEE} Secur. Priv.},
volume = {4},
number = {4},
pages = {54--62},
year = {2006},
url = {https://doi.org/10.1109/MSP.2006.95},
doi = {10.1109/MSP.2006.95},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/VerissimoNCPPDSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/VerissimoNC06,
author = {Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves and
Miguel Correia},
editor = {Javier L{\'{o}}pez},
title = {{CRUTIAL:} The Blueprint of a Reference Critical Information Infrastructure
Architecture},
booktitle = {Critical Information Infrastructures Security, First International
Workshop, {CRITIS} 2006, Samos, Greece, August 31 - September 1, 2006,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4347},
pages = {1--14},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11962977\_1},
doi = {10.1007/11962977\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/critis/VerissimoNC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NevesACVN06,
author = {Nuno Ferreira Neves and
Jo{\~{a}}o Antunes and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo and
Rui Ferreira Neves},
title = {Using Attack Injection to Discover New Vulnerabilities},
booktitle = {2006 International Conference on Dependable Systems and Networks {(DSN}
2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings},
pages = {457--466},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DSN.2006.72},
doi = {10.1109/DSN.2006.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/NevesACVN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MonizNCV06,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo},
title = {Randomized Intrusion-Tolerant Asynchronous Services},
booktitle = {2006 International Conference on Dependable Systems and Networks {(DSN}
2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings},
pages = {568--577},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DSN.2006.60},
doi = {10.1109/DSN.2006.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MonizNCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SousaNV06,
author = {Paulo Sousa and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
editor = {Hisham Haddad},
title = {Proactive resilience through architectural hybridization},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {686--690},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141435},
doi = {10.1145/1141277.1141435},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SousaNV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SousaNVS06,
author = {Paulo Sousa and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo and
William H. Sanders},
title = {Proactive Resilience Revisited: The Delicate Balance Between Resisting
Intrusions and Remaining Available},
booktitle = {25th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2006),2-4
October 2006, Leeds, {UK}},
pages = {71--82},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SRDS.2006.37},
doi = {10.1109/SRDS.2006.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/SousaNVS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MonizNCV06,
author = {Henrique Moniz and
Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo},
title = {Experimental Comparison of Local and Shared Coin Randomized Consensus
Protocols},
booktitle = {25th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2006),2-4
October 2006, Leeds, {UK}},
pages = {235--244},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SRDS.2006.19},
doi = {10.1109/SRDS.2006.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/MonizNCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CorreiaNLV05,
author = {Miguel Correia and
Nuno Ferreira Neves and
Lau Cheuk Lung and
Paulo Ver{\'{\i}}ssimo},
title = {Low complexity Byzantine-resilient consensus},
journal = {Distributed Comput.},
volume = {17},
number = {3},
pages = {237--249},
year = {2005},
url = {https://doi.org/10.1007/s00446-004-0110-7},
doi = {10.1007/S00446-004-0110-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/CorreiaNLV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/NevesCV05,
author = {Nuno Ferreira Neves and
Miguel Correia and
Paulo Ver{\'{\i}}ssimo},
title = {Solving Vector Consensus with a Wormhole},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {16},
number = {12},
pages = {1120--1131},
year = {2005},
url = {https://doi.org/10.1109/TPDS.2005.153},
doi = {10.1109/TPDS.2005.153},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/NevesCV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SousaNV05,
author = {Paulo Sousa and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {98--107},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.55},
doi = {10.1109/DSN.2005.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/SousaNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/SousaNV05,
author = {Paulo Sousa and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {Resilient State Machine Replication},
booktitle = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
pages = {305--309},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PRDC.2005.55},
doi = {10.1109/PRDC.2005.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/SousaNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaSAM/SardinhaNV04,
author = {Luis Sardinha and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
editor = {Hamid R. Arabnia and
Selim Aissi and
Youngsong Mun},
title = {Tolerating Intrusions in Grid Systems},
booktitle = {Proceedings of the International Conference on Security and Management,
{SAM} '04, June 21-24, 2004, Las Vegas, Nevada, {USA}},
pages = {207--220},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Wed, 06 Dec 2006 10:55:26 +0100},
biburl = {https://dblp.org/rec/conf/csreaSAM/SardinhaNV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/MendoncaN04,
author = {Manuel Mendon{\c{c}}a and
Nuno Ferreira Neves},
editor = {Jo{\~{a}}o Ascenso and
Carlos Belo and
Luminita Vasiu and
M{\'{o}}nica Saramago and
Helder Coelhas},
title = {Secure Application Updates on Point of Sale Devices},
booktitle = {{ICETE} 2004, 1st International Conference on E-Business and Telecommunication
Networks, Set{\'{u}}bal, Portugal, August 24-28, 2004, Proceedings},
pages = {38--45},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Mon, 25 Oct 2004 15:24:15 +0200},
biburl = {https://dblp.org/rec/conf/icete/MendoncaN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/CorreiaNV04,
author = {Miguel Correia and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {How to Tolerate Half Less One Byzantine Nodes in Practical Distributed
Systems},
booktitle = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
2004), 18-20 October 2004, Florianpolis, Brazil},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RELDIS.2004.1353018},
doi = {10.1109/RELDIS.2004.1353018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/CorreiaNV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CorreiaVN02,
author = {Miguel Correia and
Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves},
editor = {Fabrizio Grandoni and
Pascale Th{\'{e}}venod{-}Fosse},
title = {The Design of a COTSReal-Time Distributed Security Kernel},
booktitle = {Dependable Computing - EDCC-4, 4th European Dependable Computing Conference,
Toulouse, France, October 23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2485},
pages = {234--252},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36080-8\_21},
doi = {10.1007/3-540-36080-8\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/CorreiaVN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VerissimoNC02,
author = {Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves and
Miguel Correia},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {Intrusion-Tolerant Architectures: Concepts and Design},
booktitle = {Architecting Dependable Systems [the book is a result of the {ICSE}
2002 Workshop on Software Architectures for Dependable Systems]},
series = {Lecture Notes in Computer Science},
volume = {2677},
pages = {3--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45177-3\_1},
doi = {10.1007/3-540-45177-3\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/icse/VerissimoNC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/CorreiaLNV02,
author = {Miguel Correia and
Lau Cheuk Lung and
Nuno Ferreira Neves and
Paulo Ver{\'{\i}}ssimo},
title = {Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure
Model},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180168},
doi = {10.1109/RELDIS.2002.1180168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/CorreiaLNV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/CorreiaVN01,
author = {Miguel Correia and
Paulo Ver{\'{\i}}ssimo and
Nuno Ferreira Neves},
title = {The Architecture of a Secure Group Communication System Based on Intrusion
Tolerance},
booktitle = {21st International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2001 Workshops), 16-19 April 2001, Phoenix, AZ, USA, Proceedings},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CDCS.2001.918681},
doi = {10.1109/CDCS.2001.918681},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/CorreiaVN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Neves98,
author = {Nuno Neves},
title = {Time-Based Coordinated Checkpointing},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {1998},
url = {https://hdl.handle.net/2142/81931},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Neves98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/NevesF98,
author = {Nuno Neves and
W. Kent Fuchs},
title = {{RENEW:} {A} Tool for Fast and Efficient Implementation of Checkpoint
Protocols},
booktitle = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
pages = {58--67},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/FTCS.1998.689455},
doi = {10.1109/FTCS.1998.689455},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/NevesF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/NevesF97,
author = {Nuno Neves and
W. Kent Fuchs},
title = {Adaptive Recovery for Mobile Environments},
journal = {Commun. {ACM}},
volume = {40},
number = {1},
pages = {68--74},
year = {1997},
url = {https://doi.org/10.1145/242857.242878},
doi = {10.1145/242857.242878},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/NevesF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NevesF97,
author = {Nuno Ferreira Neves and
W. Kent Fuchs},
title = {Fault Detection Using Hints from the Socket Layer},
booktitle = {The Sixteenth Symposium on Reliable Distributed Systems, {SRDS} 1997,
Durham, North Carolina, USA, October 22-24, 1997, Proceedings},
pages = {64--71},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/RELDIS.1997.632799},
doi = {10.1109/RELDIS.1997.632799},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/NevesF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/NevesF96,
author = {Nuno Neves and
W. Kent Fuchs},
title = {Adaptive recovery for mobile environments},
booktitle = {1st High-Assurance Systems Engineering Workshop {(HASE} '96), October
22, 1996, Niagara, Canada, Proceedings},
pages = {134--141},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HASE.1996.618575},
doi = {10.1109/HASE.1996.618575},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/NevesF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/NevesNT96,
author = {Nuno Neves and
Anthony{-}Trung Nguyen and
Edgar L. Torres},
editor = {Adam W. Bojanczyk},
title = {A Study of a Non-Linear Optimization Problem Using a Distributed Genetic
Algorithm},
booktitle = {Proceedings of the 1996 International Conference on Parallel Processing,
{ICCP} 1996, Bloomingdale, IL, USA, August 12-16, 1996. Volume 2:
Algorithms {\&} Applications},
pages = {29--36},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICPP.1996.537378},
doi = {10.1109/ICPP.1996.537378},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/NevesNT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/CostaGSNC96,
author = {Manuel Costa and
Paulo Guedes and
Manuel Sequeira and
Nuno Neves and
Miguel Castro},
editor = {Karin Petersen and
Willy Zwaenepoel},
title = {Lightweight Logging for Lazy Release Consistent Distributed Shared
Memory},
booktitle = {Proceedings of the Second {USENIX} Symposium on Operating Systems
Design and Implementation (OSDI), Seattle, Washington, USA, October
28-31, 1996},
pages = {59--73},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/238721.238762},
doi = {10.1145/238721.238762},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/CostaGSNC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SousaZNM94,
author = {Pedro Manuel Antunes Sousa and
Andre Zuquete and
Nuno Neves and
Jos{\'{e}} Alves Marques},
title = {Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented
Environment},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {531--541},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.531},
doi = {10.1093/COMJNL/37.6.531},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/SousaZNM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/NevesCG94,
author = {Nuno Neves and
Miguel Castro and
Paulo Guedes},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {A Checkpoint Protocol for an Entry Consistent Shared Memory System},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {121--129},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.197973},
doi = {10.1145/197917.197973},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/NevesCG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/GuedesCN94,
author = {Paulo Guedes and
Miguel Castro and
Nuno Neves},
editor = {J{\"{u}}rgen Nehmer and
Marc Shapiro},
title = {The DiSOM Distributed Shared Object Memory},
booktitle = {6th {ACM} {SIGOPS} European Workshop: Matching Operating Systems to
Application Needs, Dagstuhl Castle, Germany, September 12-14, 1994},
pages = {138--140},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/504390.504428},
doi = {10.1145/504390.504428},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigopsE/GuedesCN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mach/CastroNTS93,
author = {Miguel Castro and
Nuno Neves and
Pedro Trancuso and
Pedro Manuel Antunes Sousa},
title = {{MIKE:} {A} Distributed object-oriented programming platform on top
of the Mach micro-kernel},
booktitle = {{USENIX} {MACH} {III} Symposium, Santa Fe, New Mexico, USA, April
19-21, 1993},
pages = {253--272},
publisher = {{USENIX}},
year = {1993},
url = {http://www.usenix.org/publications/library/proceedings/mach3/castro.html},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mach/CastroNTS93.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-08-05 21:16 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:
