Budapest University of Technology and Economics — Hungary
Computer Science · Physical Sciences
4h-index51citations11works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Mobile Ad Hoc Networks(4), Access Control and Trust(4), Energy Efficient Wireless Sensor Networks(2), Vehicular Ad Hoc Networks (VANETs)(2), Security in Wireless Sensor Networks(2)
Publications11 total
On formal and automatic security verification of WSN transport protocols.
IACR Cryptology ePrint Archive·2013· 3 cited
Automated security verication of networking protocols and query auditing algorithms for wireless sensor networks
2013
Lecture notes in computer science·2012· 4 cited
EXEMPLAR-BASED ASSIGNMENT OF LARGE MISSING AUDIO PARTS USING STRING MATCHING ON TONAL FEATURES
2011· 5 cited
Telecommunication Systems·2011· 4 cited
Periodica Polytechnica Electrical Engineering·2011· 2 citedOpen Access
KTH Publication Database DiVA (KTH Royal Institute of Technology)·2009Open Access
Consistency verification of stateful firewalls is not harder than the stateless case
2009· 12 cited
Security API analysis with the spi-calculus
2008
Frequent Co-authors
Levente Buttyán(6), Levente Buttyán(2), Amit Dvir(2), Gábor Pék(1), Benjamin Martin(1), Pierre Hanna(1), Myriam Desainte‐Catherine(1), Pascal Ferraro(1), Gergely Ács(1), Péter Schaffer(1), Károly Farkas(1), Boldizsár Bencsáth(1), Áron Lászka(1), António Grilo(1), Alban Hessler(1), Laurynas Riliskis(1), Evgeny Osipov(1), Daniele Perito(1), Claude Castelluccia(1)