Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT
Villafiorita, A., Weldemariam, K., Tiella, R.
Published in IEEE transactions on information forensics and security (01.12.2009)
Published in IEEE transactions on information forensics and security (01.12.2009)
Get full text
Journal Article
Localized and itinerant character of electron states in the photoemission from CuGeO3
VILLAFIORITA, A, MANGHI, F, PARMIGIANI, F, CALANDRA, C
Published in Solid state communications (01.11.1997)
Published in Solid state communications (01.11.1997)
Get full text
Journal Article
Host-based anomaly detection for pervasive medical systems
Asfaw, B, Bekele, D, Eshete, B, Villafiorita, A, Weldemariam, K
Published in 2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS) (01.10.2010)
Published in 2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS) (01.10.2010)
Get full text
Conference Proceeding
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications
Eshete, B., Villafiorita, A., Weldemariam, K.
Published in 2011 Sixth International Conference on Availability, Reliability and Security (01.08.2011)
Published in 2011 Sixth International Conference on Availability, Reliability and Security (01.08.2011)
Get full text
Conference Proceeding
Formal specification of beliefs in multi-agent systems
Benerecetti, Massimo, Giunchiglia, Enrico, Serafini, Luciano, Villafiorita, Adolfo
Published in International journal of intelligent systems (01.10.1999)
Published in International journal of intelligent systems (01.10.1999)
Get full text
Journal Article
Malicious Website Detection: Effectiveness and Efficiency Issues
Get full text
Conference Proceeding
Understanding the Development Trends of Electronic Voting Systems
Al-Shammari, Ali Fawzi Najm, Villafiorita, A., Weldemariam, K.
Published in 2012 Seventh International Conference on Availability, Reliability and Security (01.08.2012)
Published in 2012 Seventh International Conference on Availability, Reliability and Security (01.08.2012)
Get full text
Conference Proceeding
Stimulating development through transnational Living Labs: The italo-Mozambican vision
Ciaghi, A., Villafiorita, A., Chemane, L., Macueve, G.
Published in 2011 IST-Africa Conference Proceedings (01.05.2011)
Get full text
Published in 2011 IST-Africa Conference Proceedings (01.05.2011)
Conference Proceeding
Formal procedural security modeling and analysis
Weldemariam, K., Villafiorita, A.
Published in 2008 Third International Conference on Risks and Security of Internet and Systems (01.10.2008)
Published in 2008 Third International Conference on Risks and Security of Internet and Systems (01.10.2008)
Get full text
Conference Proceeding
Formal Specification and Analysis of an E-voting System
Weldemariam, K., Kemmerer, R.A., Villafiorita, A.
Published in 2010 International Conference on Availability, Reliability and Security (01.02.2010)
Published in 2010 International Conference on Availability, Reliability and Security (01.02.2010)
Get full text
Conference Proceeding
Vote verification through open standard: A roadmap
Al-Shammari, Ali Fawzi Najm, Weldemariam, K., Villafiorita, A., Tessaris, S.
Published in 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (01.08.2011)
Published in 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (01.08.2011)
Get full text
Conference Proceeding
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem
Bundy, Alan, Giunchiglia, Fausto, Villafiorita, Adolfo, Walsh, Toby
Published in Journal of automated reasoning (01.12.1997)
Published in Journal of automated reasoning (01.12.1997)
Get full text
Journal Article
VLPM: A Tool to Support BPR in Public Administration
Ciaghi, A., Villafiorita, A., Mattioli, A.
Published in 2009 Third International Conference on Digital Society (01.02.2009)
Published in 2009 Third International Conference on Digital Society (01.02.2009)
Get full text
Conference Proceeding
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework
Villafiorita, A., Weldemariam, K., Susi, A., Siena, A.
Published in 2010 Fourth International Conference on Digital Society (01.02.2010)
Published in 2010 Fourth International Conference on Digital Society (01.02.2010)
Get full text
Conference Proceeding
ICT for Good: Opportunities, Challenges and the Way Forward
Eshete, B., Mattioli, A., Villafiorita, A., Weldemariam, K.
Published in 2010 Fourth International Conference on Digital Society (01.02.2010)
Published in 2010 Fourth International Conference on Digital Society (01.02.2010)
Get full text
Conference Proceeding
Formal analysis of attacks for e-voting system
Weldemariam, K., Kemmerer, R.A., Villafiorita, A.
Published in 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) (01.10.2009)
Published in 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) (01.10.2009)
Get full text
Conference Proceeding
Experiments and data analysis of electronic voting system
Weldemariam, K., Villafiorita, A., Mattioli, A.
Published in 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) (01.10.2009)
Published in 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) (01.10.2009)
Get full text
Conference Proceeding