Nuno Neves

Departamento de Informática
Faculdade de Ciências da Universidade de Lisboa
Bloco C6 - Piso 3, Campo Grande
1749-016 Lisboa - Portugal

Tel (direct): +351-217500607
Tel (secretariat): +351-217500087
Email:

PROJECTS	PUBLICATIONS	AWARDS	STUDENTS	TEACHING

(Versão resumida do CV em português)

Nuno Ferreira Neves is Professor at the Department of Computer Science, Faculty of Sciences of the University of Lisboa. Currently, he leads the Navigators´s research group and he is on the coordination board of the LASIGE research unit. His main research interests are in dependability and security aspects of distributed systems and networks. He investigates models, protocols and architectures that are suitable for applications with strong resilience requirements, namely applications that need to remain operational despite accidental faults or malicious attacks. The kind of environments that are being contemplated include critical cyber-physical systems, cloud access and systems, programmable networks, mobile computing with small hand-held devices, and scalable web applications.

Currently, he is involved in projects SEAL and uPVN. The first addresses the discovery and removal of vulnerabilities in healthcare applications, while the second focuses in developing solutions that enable the creation of virtual networks by exploring programmable switches. He also coordinates the local team in a cooperation project in secure smart grids with Brazilian colleagues. In the past years, he has contributed to several other security & dependability-related projects at European level, such as SUPERCLOUD, SEGRID, MASSIF, BiobankClouds, TCLOUDS, SecFuNet, CRUTIAL, MAFTIA, and RESIST, and nationally, SITAN, DIVERSE, RITAS, AJECT and COPE.

He is Chair of IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance (TCFT) (2021-2023). He is on the editorial board of the International Journal of Critical Computer-Based Systems. He is chair of the steering committee of the IEEE/IFIP International Conference on Dependable Systems and Networks. He is member of the scientific board of the Centro de Investigação Jurídica do Ciberespaço (CIJIC). His work has been recognized in several occasions, for example with the IBM Scientific Prize, the Test-of-Time Award award at IEEE DSN, and the Best student paper at Middleware. He has more than 140 publications in book chapters, journals and conferences, and has served on the program committee of more than 100 conferences and workshops.

Education

Agregação in Computer Science, Faculdade Ciências da Univ. de Lisboa, Portugal, 2014
PhD in Computer Science, Univ. Illinois at Urbana-Champaign, USA, 1998
Master in Electrical and Computer Engineering, Instituto Superior Técnico, Univ. Técnica de Lisboa, Portugal, 1994
Licenciatura in Electrical and Computer Engineering, Instituto Superior Técnico, Univ. Técnica de Lisboa, Portugal, 1992

Research projects

Publications

Awarded works

Students

Steering Committee: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Editorial Board: International Journal of Critical Computer-Based Systems (IJCCBS)

Conferences where I´m involved

Software:

Teaching

Security Technologies / Applied Security (Master)
Software Security (Master)
Security and Dependability (Third year B.S. in Computer Engineering)
Introduction to Computer Architectures (First year B.S. in Computer Engineering)

Interesting Sites

Return to the department's home page

<td>

<tr>

<h1>Nuno Neves</h1>

Departamento de Informática

Faculdade de Ciências da Universidade de Lisboa

Bloco C6 - Piso 3, Campo Grande

1749-016 Lisboa - Portugal

Tel (direct): +351-217500607

Tel (secretariat): +351-217500087

Email:<img border="0" src="email-address.GIF" align="absmiddle" height="31"></ul>

</td>

</tr>

</table>

<tr>

PROJECTS</a></td>

<a href="pubs.html">PUBLICATIONS</a></td>

AWARDS</a></td>

STUDENTS</a></td>

<a href="#teaching">TEACHING</a></td>

</tr>

<tr>

</tr>

</table>

(<a href="PT_index.html">Versão resumida do CV em português</a>)

Nuno Ferreira Neves is Professor at the

<a href="https://ciencias.ulisboa.pt/pt/di">Department of Computer Science</a>, Faculty of Sciences

of the University of Lisboa. Currently, he is Head of the Department. He leads the <a href="http://www.navigators.di.fc.ul.pt/">Navigators´s research group</a>

and he is on the coordination board of the <a href="http://www.lasige.di.fc.ul.pt/">LASIGE research unit</a>. His main research interests are

in dependability and security aspects of distributed systems and networks. He investigates models, protocols and architectures that are

suitable for applications with strong resilience requirements, namely applications that need to remain operational despite accidental faults or

malicious attacks. The kind of environments that are being contemplated include critical

cyber-physical systems, cloud access and systems, programmable networks, mobile computing with small hand-held devices, and scalable

web applications.

Currently, he is involved in projects SEAL and uPVN. The

first addresses the discovery and removal of vulnerabilities in healthcare

applications, while the second focuses in developing solutions that enable the

creation of virtual networks by exploring programmable switches. He also

coordinates the local team in a cooperation project in secure smart grids with

Brazilian colleagues. In the past years, he has contributed to several other security & dependability-related projects at

European level, such as SUPERCLOUD, SEGRID, MASSIF, BiobankClouds, TCLOUDS, SecFuNet, CRUTIAL, MAFTIA, and RESIST, and nationally, SITAN, DIVERSE,

RITAS, AJECT and COPE.

He is Chair of IEEE Computer Society

<a href="https://www.computer.org/communities/technical-committees/tcft">Technical Committee on Dependable Computing and Fault Tolerance

</a>(TCFT) (2021-2023). He is on the editorial board of the International Journal of Critical Computer-Based Systems. He is

chair of the

steering committee of the IEEE/IFIP International Conference on Dependable Systems and Networks. His work has been recognized in several

occasions, for example with the IBM Scientific Prize, the Test-of-Time Award award at IEEE DSN/FTCS, and the Best student paper at Middleware. He has more than 140 publications in book chapters, journals and conferences, and has served on

the program committee of more than 100 conferences and workshops.

Education

<ul>

<li>Agregação in Computer Science, Faculdade Ciências da Univ. de Lisboa, Portugal, 2014</li>

<li>PhD in Computer Science, Univ. Illinois at Urbana-Champaign, USA, 1998</li>

<li>Master in Electrical and Computer Engineering, Instituto Superior Técnico, Univ. Técnica de Lisboa, Portugal, 1994</li>

<li>Licenciatura in Electrical and Computer Engineering, Instituto Superior Técnico, Univ. Técnica de Lisboa, Portugal, 1992</li>

</ul>

<a href="projects.html">Research projects</a></a>

<a HREF="pubs.html">Publications</a>

<a href="awards.html">Awarded works</a></a>

<a href="students.html">Students</a>

Steering Committee:

<a href="http://www.dsn.org">IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</a>

Editorial Board:

<a href="http://www.inderscience.com/ijccbs">International Journal of Critical Computer-Based Systems (IJCCBS)</a>

Conferences where I´m involved

<ul>

<li><a href="https://dsn2022.github.io/">IEEE International Conference on Dependable Systems and Networks (DSN), 2022</a></li>

<li><a href="https://ladc.sbc.org.br/">IEEE Latin American Dependable Computing Conference (LADC), 2022</a></li>

<li><a href="https://webdiis.unizar.es/EDCC22/">European Dependable Computing Conference (EDCC), 2022</a></li>

<li><a href="http://inforum.org.pt/">InForum - Segurança de Sistemas de Computadores e Comunicações, 2022</a></li>

<li><a href="https://pdp2022.infor.uva.es/specialsessions/snds/snds.php">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2022</a></li>

<!--

<li><a href="http://dimva2021.campus.ciencias.ulisboa.pt/">Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA), 2021 (General Chair)</a></li>

<li><a href="http://www.dsn.org">IEEE International Conference on Dependable Systems and Networks (DSN), 2021</a></li>

<li><a href="https://ladc.lisha.ufsc.br/ladc2021">IEEE Latin American Dependable Computing Conference (LADC), 2021</a></li>

<li><a href="http://inforum.org.pt/INForum2021">InForum - Segurança de Sistemas de Computadores e Comunicações, 2021</a></li>

<li><a href="https://ieee-csr.org/CRE21">IEEE International Workshop on Cyber Resilience and Economics (CRE), 2021</a></li>

<li><a href="https://www.pdp2021.org/specialsessions/snds/snds.php">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2021</a></li>

<li><a href="http://dimva2020.campus.ciencias.ulisboa.pt">Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA), 2020</a> (General Chair)</li>

<li><a href="http://www.dsn.org">IEEE International Conference on Dependable Systems and Networks (DSN), 2020</a></li>

<li><a href="https://2020.cloudcom.org/">IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2020</a></li>

<li><a href="https://iwosemc.eu/">International workshop on Secure Mobile Cloud computing (IWoSeMC), 2020</a></li>

<li><a href="http://www.pdp2020.com/specialsessions/snds/snds.html">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2020</a></li>

<li><a href="https://qrs20.techconf.org/workshops/cre">IEEE International Workshop on Cyber Resiliency: Technologies, Economics and Strategy (CRE), 2020</a></li>

<li><a href="http://inforum.org.pt/INForum2020">InForum - Segurança de Sistemas de Computadores e Comunicações, 2020</a></li>

<li><a href="http://theory.utdallas.edu/ICDCS2019">IEEE International Conference on Distributed Computing Systems (ICDCS), 2019</a></li>

<li><a href="http://www.dsn.org">IEEE International Conference on Dependable Systems and Networks (DSN), 2019</a></li>

<li><a href="https://ladc2019.imd.ufrn.br/">IEEE Latin American Dependable Computing Conference (LADC), 2019</a></li>

<li><a href="https://cloudsummitconf.wixsite.com/cloudsummit">International Conference on Cloud and Fog Computing Technologies and Applications (CloudSummit), 2019</a></li>

<li><a href="http://paris.utdallas.edu/CRE19/">IEEE International Workshop on Cyber Resilience Technologies, Benefits and Measurements (CRE), 2019</a></li>

<li><a href="http://inforum.org.pt/INForum2019">InForum - Segurança de Sistemas de Computadores e Comunicações, 2019</a></li>

<li><a href="http://icdcs2018.ocg.at/">IEEE International Conference on Distributed Computing Systems (ICDCS), 2018</a></li>

<li><a href="http://edcc.dependability.org/">European Dependable Computing Conference (EDCC), 2018</a></li>

<li><a href="http://edcc.dependability.org/">Workshop on Resiliency, Security, Privacy, and Performance in Cloud Environments (RESP), 2018</a></li>

<li><a href="http://www.inf.unioeste.br/ladc2018/">IEEE Latin American Dependable Computing Conference (LADC), 2018</a></li>

<li><a href="http://cyprusconferences.org/cloudcom2018/">IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2018</a></li>

<li><a href="http://paris.utdallas.edu/cre18/">International Workshop on Cyber Resilience Economics (CRE), 2018</a></li>

<li><a href="http://www.smart-world.org/2018/atc/">International Workshop on Assurance in Distributed Systems and Networks (ADSN), 2018</a></li>

<li><a href="http://inforum.org.pt/INForum2018">InForum - Segurança de Sistemas de Computadores e Comunicações, 2018</a></li>

<li><a href="http://www.pdp2018.org/specialsessions/snds.html">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2018</a></li>

<li><a href="http://sislab.no/futurecloud/">International Workshop on the Future of Cloud Computing and Cloud Services (FutureCloud), 2017</a></li>

<li><a href="http://www.dsn.org">IEEE International Conference on Dependable Systems and Networks (DSN), 2017</a></li>

<li><a href="http://edcc.dependability.org/">European Dependable Computing Conference (EDCC), 2017</a></li>

<li><a href="http://www.autonomic-conference.org/iccac-2017/resources/ACS/">International Workshop on Autonomics and Cloud Security (ACS), 2017</a> </li>

<li><a href="http://inforum.org.pt/INForum2017">InForum - Segurança de Sistemas de Computadores e Comunicações, 2017</a></li>

<li><a href="http://paris.utdallas.edu/cre17/">International Workshop on Cyber Resilience Economics (CRE), 2017</a></li>

<li><a href="http://xdom0-2017.supercloud-project.eu/">Workshop on Security and Dependability of Multi-Domain Infrastructures (XDOMO), 2017</a></li>

<li><a href="https://project-sparks.eu/events/2nd-workshop-on-cyber-physical-security-and-resilience-in-smart-grids/">Workshop on Cyber-Physical Security and Resilience in Smart Grids, 2017</a></li>

<li><a href="http://www.iaria.org/conferences2017/SECURWARE17.html">International Conference on Emerging Security Information, Systems and Technologies (SECURWARE), 2017</a></li>

<li><a href="http://www.pdp2017.org/">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2017</a></li>

<li><a href="http://www.cyberdna.uncc.edu/safeconfig/2016/">Workshop on Testing and Evaluation for Active and Resilient Cyber Systems (SafeConfig), 2016</a></li>

<li><a href="http://www.dsn.org">IEEE International Conference on Dependable Systems and Networks (DSN), 2016</a></li>

<li><a href="http://www-higashi.ist.osaka-u.ac.jp/icdcs2016">IEEE International Conference on Distributed Computing Systems (ICDCS), 2016</a></li>

<li><a href="http://www.sec-virtnet.org/">IEEE International Workshop on Security in Virtualized Networks (Sec-VirtNet), 2016</a></li>

<li><a href="http://atc2016.sciencesconf.org/">IEEE International Conference on Advanced and Trusted Computing (ATC), 2016</a></li>

<li><a href="http://www.unicauca.edu.co/ladc2016/">Latin American Dependable Computing Conference (LADC), 2016</a></li>

<li><a href="http://inforum.org.pt/INForum2016">InForum - Segurança de Sistemas de Computadores e Comunicações, 2016</a></li>

<li><a href="http://www.iaria.org/conferences2016/SECURWARE16.html">International Conference on Emerging Security Information, Systems and Technologies (SECURWARE), 2016</a></li>

<li><a href="http://www.salvage-project.com/cpsr-sg-2016.html">Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG), 2016</a></li>

<li><a href="http://edcc.dependability.org/">European Dependable Computing Conference (EDCC), 2016</a></li>

<li><a href="http://www.pdp2016.org/">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2016</a></li>

<li><a href="http://2015.issre.net/">International Symposium on Software Reliability Engineering (ISSRE), 2015</a></li>

<li><a href="http://www.iaria.org/conferences2015/SECURWARE15.html">International Conference on Emerging Security Information, Systems and Technologies (SECURWARE), 2015</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2015</a></li>

<li><a href="http://inforum.org.pt/INForum2015">InForum - Segurança de Sistemas de Computadores e Comunicações, 2015</a></li>

<li><a href="http://edcc.dependability.org/">European Dependable Computing Conference (EDCC), 2015</a></li>

<li><a href="http://www.pdp2015.org/">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2015</a></li>

<li><a href="http://conference.css2014.studiocheik.fr/css2014/front_page">International Symposium on Cyberspace Safety and Security (CSS), 2014</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2014</a></li>

<li><a href="http://inforum.org.pt/INForum2014">InForum - Segurança de Sistemas de Computadores e Comunicações, 2014</a></li>

<li><a href="http://www.safecomp.org/">International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2014</a></li>

<li><a href="http://www.iaria.org/conferences2014/DEPEND14.html">International Conference on Dependability (DEPEND), 2014</a></li>

<li><a href="http://www.pdp2014.org/">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2014</a></li>

<li><a href="http://inforum.org.pt/INForum2013">InForum - Segurança de Sistemas de Computadores e Comunicações, 2013</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2013</a></li>

<li><a href="http://conf.laas.fr/WORCS13/">Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013)</a></li>

<li><a href="http://www.iaria.org/conferences2013/DEPEND13.html">International Conference on Dependability (DEPEND), 2013</a></li>

<li><a href="http://www.pdp2013.org/">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2013</a></li>

<li><a href="http://www.issre.org/">International Symposium on Software Reliability Engineering (ISSRE), 2012</a></li>

<li><a href="http://trust.csu.edu.cn/conference/FCST2012/">International Conference on Frontier of Computer Science and Technology (FCST), 2012</a></li>

<li><a href="http://inforum.org.pt/INForum2012">InForum - Segurança de Sistemas de Computadores e Comunicações, 2012</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2012</a></li>

<li><a href="http://www.csr.city.ac.uk/people/ilir.gashi/WRAITS2012/">Workshop on Recent Advances in Intrusion Tolerance and reSilience (WRAITS), 2012</a></li>

<li><a href="http://www.iaria.org/conferences2012/DEPEND12.html">International Conference on Dependability (DEPEND), 2012</a></li>

<li><a href="http://edcc.dependability.org/">European Dependable Computing Conference (EDCC), 2012</a></li>

<li><a href="http://www.pdp2012.org/">Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2012</a></li>

<li><a href="http://www.issre.org/">International Symposium on Software Reliability Engineering (ISSRE), 2011</a></li>

<li><a href="http://trust.csu.edu.cn/conference/FCST2011/">International Conference on Frontier of Computer Science and Technology (FCST), 2011</a></li>

<li><a href="http://inforum.org.pt/INForum2011">InForum - Segurança de Sistemas de Computadores e Comunicações, 2011</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2011</a></li>

<li><a href="http://www.safecomp2011.unina.it/">International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2011</a></li>

<li><a href="http://www.iaria.org/conferences2011/DEPEND11.html">International Conference on Dependability (DEPEND), 2011</a></li>

<li><a href="http://ewdc2011.isti.cnr.it">European Workshop on Dependable Computing (EWDC), 2011</a></li>

<li><a href="http://www.inpe.br/ladc2011/Resilience">International Workshop on Resilience Assessment of Critical Infrastructures (WRACI), 2011</a></li>

<li><a href="http://www.owasp.org/index.php/IBWAS10">Iberic Web Application Security Conference (IBWAS), 2010</a></li>

<li><a href="http://www.issre.org/">International Symposium on Software Reliability Engineering (ISSRE), 2010</a></li>

<li><a href="http://www.otm-conferences.org/index.php/is2010">The 5th International Symposium on Information Security (IS), 2010</a></li>

<li><a href="http://inforum.org.pt/INForum2010/sessoes/seguranca-de-sistemas-de-computadores-e-comunicacoes.html">InForum - Segurança de Sistemas de Computadores e Comunicações, 2010</a></a></li>

<li><a href="http://www.iaria.org/conferences2010/DEPEND10.html">International Conference on Dependability (DEPEND), 2010</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2010</a></li>

<li><a href="http://ccst.jlu.edu.cn/fcst/">International Conference on Frontier of Computer Science and Technology (FCST), 2010</a></li>

<li><a href="http://institute.lanl.gov/resilience/workshops/ftxs2010/">International Workshop on Fault-Tolerance for HPC at Extreme Scale (FTXS10), 2010</a></a></li>

<li><a href="http://wraits10.di.fc.ul.pt/">Workshop on Recent Advances in Intrusion-Tolerant Systems (WRAITS10), 2010</a></li>

<li><a href="http://www.ibwas.com">Iberic Web Application Security Conference (IBWAS), 2009</a></li>

<li><a href="http://wins.upm.ro">Workshop on Wireless Network Security and Privacy (WiNetSec), 2009</a></li>

<li><a href="http://www.onthemove-conferences.org/index.php/ishornav">The 4th International Symposium on Information Security (IS), 2009</a></li>

<li><a href="http://inforum.org.pt/INForum2009/sessoes/computer-and-communications-security">InForum - Segurança de Sistemas e Redes de Computadores, 2009</a></a></li>

<li><a href="http://ladc2009.lsd.ufcg.edu.br/">Latin-American Symposium on Dependable Computing (LADC), 2009</a></li>

<li><a href="http://www.iaria.org/conferences2009/DEPEND09.html">International Conference on Dependability (DEPEND), 2009</a> </li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2009</a></li>

<li><a href="http://sino2008.dei.uc.pt/">Quarta Conferência Nacional sobre Segurança Informática nas Organizações (SINO), 2008</a></li>

<li><a href="http://www.cs.rmit.edu.au/fedconf/index.html?page=is2008cfp">The 3rd International Symposium on Information Security (IS), 2008</a></li>

<li><a href="http://www.dsn.org/">International Conference on Dependable Systems and Networks (DSN), 2008</a></li>

<li><a href="http://wraits08.di.fc.ul.pt/">Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS), 2008</a></a></li>

<li><a href="http://sino2007.di.fct.unl.pt/">Terceira Conferência Nacional sobre Segurança Informática nas Organizações (SINO-2007), 2007</a></li>

<li> <a href="http://www.cs.rmit.edu.au/fedconf/index.html?page=is2007cfp">International Symposium on Information Security (IS'2007), 2007 </a></li>

<li><a href="http://www.dsn.org/">International Conference on Dependable Systems and Networks (DSN), 2007</a></li>

<li><a href="http://wraits07.di.fc.ul.pt/">Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS), 2007</a></li>

<li><a href="http://trustsoft.uni-oldenburg.de/fofdc07/">ARES 2007 Workshop on Foundations of Fault-tolerant Distributed Computing (FOFDC 2007), 2007</a></li>

<li><a href="http://www.dsn.org/">International Conference on Dependable Systems and Networks (DSN), 2006</a></li>

<li><a href="http://www.cs.rmit.edu.au/fedconf/index.html?page=is2006cfp">First International Workshop on Information Security (IS'06), 2006</a></li>

<li><a href="http://www.ieeta.pt/sino2006/index.html">Segunda Conferência Nacional sobre Segurança Informática nas Organizações (SINO-2006), 2006</a></li>

<li><a href="http://edcc.dependability.org/">Sixth European Dependable Computing Conference (EDCC-6), 2006</a></li>

<li><a href="http://sino.di.ubi.pt/">Primeira Conferência Nacional sobre Segurança Informática nas Organizações (SINO-2005), 2005</a></li>

<li><a href="http://www.dsn.org/">Computer Performance and Dependability Symposium (PDS-05, part of DSN), 2005</a></li>

<li><a href="http://2004.dsn.org/">Computer Performance and Dependability Symposium (PDS-04, part of DSN), 2004</a></li>

<li><a href="http://www-2.cs.cmu.edu/~priya/DOA2003/WRSM.html">Workshop on Reliable and Secure Middleware, 2003</a></li>

<li><a href="http://www.acm.org/sigs/sigsac/ccs/CCS2003/workshops.html">ACM Workshop on Survivable and Self-Regenerative Systems, 2003</a></li>

<li><a href="http://www.dsn.org">Dependable Computing and Communication Symposium (DCC-03, part of DSN), 2003</a></li>

<li><a href="http://www.dsn.org">International Conference on Dependable Systems and Networks (DSN), 2002</a></li>

<li><a href="http://icdcs2002.di.fc.ul.pt">International Conference on Distributed Computing Systems (ICDCS), 2002</a></li>

<li><a href="http://www.laas.fr/edcc-4/">European Dependable Computing Conference (EDCC), 2002</a></li>

-->

</ul>

<a name=teaching>Software:</a>

<ul>

<li><a href="https://git.lasige.di.fc.ul.pt/navigators/varanus">Varanus - Resilient Communications for the Core Network of Smart Grids</a>

<li><a href="http://www.lasige.di.fc.ul.pt/openrq">OpenRQ - RaptorQ FEC Code Open Source Implementation</a> (<a href="PAPERS/SP14.pdf">documentation</a>)</li>

<li><a href="http://awap.sourceforge.net/">WAP - Web Application Protection</a> (<a href="PAPERS/WWW14.pdf">documentation</a>)</li>

<li><a href="http://code.google.com/p/reverx/">ReverX - Reverse Engineering of Protocols from Network Traces</a> (<a href="PAPERS/WCRE11.pdf">documentation</a>)</li>

<li><a href="http://code.google.com/p/aject/">AJECT - Attack Injection Tool</a> (<a href="PAPERS/TSE10.pdf">doc1</a>, <a href="PAPERS/DSN06_aject.pdf">doc2</a>)</li>

<li><a href="SOFTWARE/ritas.zip">RITAS - Randomized Intrusion Tolerant System</a> (<a href="PAPERS/TDSC11.pdf">doc1</a>,

</ul>

<a name=teaching>Teaching</a>

<ul>

<li>Security Technologies / Applied Security (Master) </li>

<li>Software Security (Master) </li>

<li>Security and Dependability (Third year B.S. in Computer Engineering)</li>

<li>Introduction to Computer Architectures (First year B.S.

in Computer Engineering)</li>

</ul>

<a name="teaching0">Interesting Sites</a>

<ul>

<li><a href="http://www.netindex.pt">netindex : Portuguese

directory</a></li>

<li><a href="http://www.nget.com">nget : Brazilian

directory</a></li>

</ul>

<a HREF="http://www.di.fc.ul.pt">Return to the department's home page </a>

</address>

</td>