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