Komminist Weldemariam

	2009
4		Komminist Weldemariam: Navigational Web-Interfaces from Formal Tropos Specification. ESAW 2009: 233-235
	2008
3		Komminist Weldemariam, Adolfo Villafiorita: Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT 2008
2		Komminist Weldemariam, Adolfo Villafiorita: A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting 2008: 83-94
	2007
1		Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli: Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. VOTE-ID 2007: 38-49

Coauthor Index

1	Andrea Mattioli	[1]
2	Adolfo Villafiorita	[1] [2] [3]