Weldemariam, Komminist Sisai

Weldemariam, Komminist Sisai  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Methodology for Procedural Security Assessment 1-gen-2011 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Survey: Electronic Voting Development and Trends 1-gen-2010 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 1-gen-2012 Komminist Weldemariam; Adolfo Villafiorita
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 1-gen-2007 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages 1-gen-2012 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications 1-gen-2013 Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Zulkerine, M.
Context Information Refinement for Pervasive Medical Systems 1-gen-2010 Eshete, Birhanu Mekuria; Dawit, Bekele; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Designing distributed agricultural information services for developing countries 1-gen-2012 Henok Sahilu; Adolfo Villafiorita; Komminist Weldemariam; Mesfin Belachew; Amanuel Zewge
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Tiella, Roberto
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 1-gen-2011 Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 1-gen-2013 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Zulkernine, M.
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 1-gen-2010 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Siena, Alberto; Susi, Angelo
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned 1-gen-2011 Luca, Cernuzzi; Magalí, González; Marco, Ronchetti; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Experiments and Data Analysis of Electronic Voting System 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Formal Analysis of Attacks for e-voting System 1-gen-2009 Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo
Formal Procedural Security Modeling and Analysis 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal Specification and Analysis of an e-Voting System 1-gen-2010 Weldemariam, Komminist Sisai; Richard, Kemmerer; Villafiorita Monteleone, Adolfo
Formal Specification and Verification of an e-voting System: An experience Report. 1-gen-2011 Weldemariam, Komminist Sisai; Richard A., Kemmerer; Villafiorita Monteleone, Adolfo
Host-based Anomaly Detection for Pervasive Medical Systems 1-gen-2010 Biniyam, Asfaw; Dawit, Bekele; Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo