Ioana Boureanu

	2010
4		Ioana Boureanu, Mika Cohen, Alessio Lomuscio: Model checking detectability of attacks in multiagent systems. AAMAS 2010: 691-698
	2009
3		Ioana Boureanu, Mika Cohen, Alessio Lomuscio: Automatic verification of temporal-epistemic properties of cryptographic protocols. Journal of Applied Non-Classical Logics 19(4): 463-487 (2009)
	2008
2		Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, Ioana Boureanu: Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. Journal of Computer Security 16(6): 689-712 (2008)
	2005
1		Sorin Iftene, Ioana Boureanu: Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem. Sci. Ann. Cuza Univ. 15: 161-172 (2005)

Coauthor Index

1	Catalin V. Birjoveanu	[2]
2	Mika Cohen	[3] [4]
3	Constantin Enea	[2]
4	Sorin Iftene	[1]
5	Alessio Lomuscio	[3] [4]
6	Ferucio Laurentiu Tiplea	[2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page