Levente Buttyán

Levente Buttyán, Boldizsár Bencsáth, Tamás Paulik, 2011, SoftCOM 2011, 19th International Conference on Software, Telecommunications and Computer Networks.

Provable security for ad hoc routing protocols

Levente Buttyán, Gergely Acs, István Vajda, 2005 .

Formal verification of secure ad-hoc network routing protocols using deductive model-checking

Levente Buttyán, Ta Vinh Thong, L. Buttyán, 2010, WMNC2010.

The Cost of Having Been Pwned: A Security Service Provider's Perspective

Levente Buttyán, Gergely Biczók, Máté Horváth, 2020, ETAA@ESORICS.

Decision and Game Theory for Security

John S. Baras, Tansu Alpcan, Levente Buttyán, 2010, Lecture Notes in Computer Science.

Anonymous Aggregator Election and Data Aggregation in Wireless Sensor Networks

Levente Buttyán, Tamás Holczer, 2011, Int. J. Distributed Sens. Networks.

Duqu: A Stuxnet-like malware found in the wild

Levente Buttyán, Boldizsár Bencsáth, Gábor Pék, 2011 .

Formal Security Verification of Transport Protocols for Wireless Sensor Networks

Levente Buttyán, Amit Dvir, Ta Vinh Thong, 2014, ICCSAMA.

Optimal selection of sink nodes in wireless sensor networks in adversarial environments

Levente Buttyán, Aron Laszka, Dávid Szeszlér, 2011, 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.

Decision and game theory for security : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010 : proceedings

Tansu Alpcan, Levente Buttyán, John S. Baras, 2010 .

Node cooperation in hybrid ad hoc networks

Markus Jakobsson, Levente Buttyán, Jean-Pierre Hubaux, 2006 .

Cooperative packet forwarding in multi-domain sensor networks

Levente Buttyán, Jean-Pierre Hubaux, Márk Félegyházi, 2005, Third IEEE International Conference on Pervasive Computing and Communications Workshops.

IoT Hacking – A Primer

Levente Buttyán, Dorottya Papp, Kristóf Tamás, 2019, Infocommunications journal.

A payment scheme for broadcast multimedia streams

Levente Buttyán, Naouel Ben Salem, 2001, Proceedings. Sixth IEEE Symposium on Computers and Communications.

Resilient aggregation with attack detection in sensor networks

Levente Buttyán, István Vajda, Péter Schaffer, 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

Towards provable security for ad hoc routing protocols

Levente Buttyán, István Vajda, L. Buttyán, 2004, SASN '04.

SLOW: A Practical pseudonym changing scheme for location privacy in VANETs

Levente Buttyán, William Whyte, André Weimerskirch, 2009, 2009 IEEE Vehicular Networking Conference (VNC).

Small worlds in security systems: an analysis of the PGP certificate graph

Srdjan Capkun, Levente Buttyán, Jean-Pierre Hubaux, 2002, NSPW '02.

Barter-based cooperation in delay-tolerant personal wireless networks

Levente Buttyán, István Vajda, Márk Félegyházi, 2007, 2007 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.

A Secure Distributed Transport Protocol for Wireless Sensor Networks

Levente Buttyán, António Grilo, 2011, 2011 IEEE International Conference on Communications (ICC).

FlipThem: Modeling Targeted Attacks with FlipIt for Multiple Resources

Gábor Horváth, Levente Buttyán, Aron Laszka, 2014, GameSec.

Group-Based Private Authentication

Levente Buttyán, István Vajda, Gildas Avoine, 2007, 2007 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.

Equilibrium Analysis of Packet Forwarding Strategies in Wireless Ad Hoc Networks - The Static Case

Levente Buttyán, Jean-Pierre Hubaux, Márk Félegyházi, 2003, PWC.

A Wireless Sensor and Actuator Network for improving the electrical power grid dependability

Levente Buttyán, Augusto Casaca, Paulo Rogério Pereira, 2012, Proceedings of the 8th Euro-NF Conference on Next Generation Internet NGI 2012.

Non-Cooperative Behavior in Networking (Guest Editorial)

Tim Roughgarden, Xiang-Yang Li, Levente Buttyán, 2007 .

Game-theoretic Robustness of Many-to-one Networks

Levente Buttyán, Aron Laszka, Dávid Szeszlér, 2012, GAMENETS.

PerSenS 2008 Workshop Organization

Silvia Giordano, Diane J. Cook, Guoliang Xing, 2008 .

A Pessimistic Approach to Trust in Mobile Agent Platforms

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 2000, IEEE Internet Comput..

Private cluster head election in wireless sensor networks

Levente Buttyán, Tamás Holczer, 2009, 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems.

Linear Loss Function for the Network Blocking Game: An Efficient Model for Measuring Network Robustness and Link Criticality

Levente Buttyán, Aron Laszka, Dávid Szeszlér, 2012, GameSec.

Clustering IoT Malware based on Binary Similarity

Levente Buttyán, Dorottya Papp, Márton Bak, 2020, NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium.

Efficient lossless compression of CAN traffic logs

Levente Buttyán, Zsolt Szalay, András Gazdag, 2017, 2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

Spontaneous Cooperation in Multi-domain Sensor Networks

Levente Buttyán, Tamás Holczer, Péter Schaffer, 2005, ESAS.

Trust assumptions and adversary models

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .

A simple logic for authentication protocol design

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).

Mentoring Talent in IT Security-A Case Study

Levente Buttyán, Gábor Pék, Márk Félegyházi, 2016, ASE @ USENIX Security Symposium.

Problem Domain Analysis of IoT-Driven Secure Data Markets

Levente Buttyán, Máté Horváth, 2018, Euro-CYBERSEC.

Security and Cooperation in Wireless Networks: Privacy protection

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .

A survey of security issues in hardware virtualization

Levente Buttyán, Boldizsár Bencsáth, Gábor Pék, 2013, CSUR.

Multilateral security in middleware based telecommunication architectures

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1999 .

Towards the automated detection of unknown malware on live systems

Levente Buttyán, Gábor Pék, 2014, 2014 IEEE International Conference on Communications (ICC).

A framework for the revocation of unintended digital signatures initiated by malicious terminals

Levente Buttyán, István Vajda, István Zsolt Berta, 2005, IEEE Transactions on Dependable and Secure Computing.

A machine learning based approach for predicting undisclosed attributes in social networks

Levente Buttyán, Gergely Kotyuk, 2012, 2012 IEEE International Conference on Pervasive Computing and Communications Workshops.

Secure and reliable clustering in wireless sensor networks: A critical survey

Levente Buttyán, Károly Farkas, Ádám Horváth, 2012, Comput. Networks.

Security and Cooperation in Wireless Networks: Naming and addressing

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .

Perfectly anonymous data aggregation in wireless sensor networks

Levente Buttyán, Tamás Holczer, 2010, The 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE MASS 2010).

On the Problem of Trust in Mobile Agent Systems

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1998, NDSS.

Security and Cooperation in Wireless Networks: Upcoming wireless networks and new challenges

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .

Extensions to an authentication technique proposed for the global mobility network

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 2000, IEEE Trans. Commun..

On automating the verification of secure ad-hoc network routing protocols

Levente Buttyán, Ta Vinh Thong, L. Buttyán, 2013, Telecommun. Syst..

Accountable anonymous access to services in mobile communication systems

Levente Buttyán, Jean-Pierre Hubaux, 1999, Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems.

Designing robust network topologies for wireless sensor networks in adversarial environments

Levente Buttyán, Aron Laszka, Dávid Szeszlér, 2013, Pervasive Mob. Comput..

Modelling adversaries and security objectives for routing protocols in wireless sensor networks

Levente Buttyán, Gergely Ács, István Vajda, 2006, SASN '06.

A formal model of rational exchange and its application to the analysis of Syverson's protocol

Srdjan Capkun, Levente Buttyán, Jean-Pierre Hubaux, 2004, J. Comput. Secur..

CLEARER: CrySyS Laboratory Security and Privacy Research Roadmap

Levente Buttyán, Boldizsár Bencsáth, Márk Félegyházi, 2011, SysSec@DIMVA.

PoDSy 2003: Principles of Dependable Systems

Felix C. Freiling, Levente Buttyán, Klaus Kursawe, 2003, DSN.

Dependable Systems: Podsy Workshop Report - From Fault Tolerance to Security and Back

Felix C. Freiling, Levente Buttyán, Klaus Kursawe, 2003, IEEE Distributed Syst. Online.

Invitation-Oriented TGDH: Key Management for Dynamic Groups in an Asynchronous Communication Model

Levente Buttyán, Szilveszter Szebeni, István Lám, 2012, 2012 41st International Conference on Parallel Processing Workshops.

Vehicular can traffic based microtracking for accident reconstruction

Levente Buttyán, Zsolt Szalay, Tamás Holczer, 2018 .

The Effect of Mobility on Cooperation in Ad Hoc Networks

Levente Buttyán, Jean-Pierre Hubaux, Mark Felegyhazi, 2004 .

nEther: in-guest detection of out-of-the-guest malware analyzers

Levente Buttyán, Boldizsár Bencsáth, Gábor Pék, 2011, EUROSEC '11.

The Security Proof of a Link-state Routing Protocol for Wireless Sensor Networks

Levente Buttyán, Gergely Ács, István Vajda, 2007, 2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems.

Closed user groups in Internet service centres

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1999, DAIS.

Security and Cooperation in Wireless Networks: The security of existing wireless networks

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .

Towards Semi-automated Detection of Trigger-based Behavior for Software Security Assurance

Levente Buttyán, Zhendong Ma, Dorottya Papp, 2017, ARES.

Mobility helps security in ad hoc networks

Srdjan Capkun, Levente Buttyán, Jean-Pierre Hubaux, 2003, MobiHoc '03.

Rational Exchange - A Formal Model Based on Game Theory

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2001, WELCOM.

An authentication scheme for QoS-aware multi-operator maintained wireless mesh networks

Levente Buttyán, László Dóra, 2009, 2009 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks & Workshops.

Guest Editorial Non-Cooperative Behavior in Networking

Tim Roughgarden, Xiang-Yang Li, Levente Buttyán, 2007, IEEE Journal on Selected Areas in Communications.

Query Auditing for Protecting Max/Min Values of Sensitive Attributes in Statistical Databases

Levente Buttyán, Ta Vinh Thong, 2012, TrustBus.

SDTP+: Securing a distributed transport protocol for WSNs using Merkle trees and Hash chains

Levente Buttyán, Amit Dvir, Ta Vinh Thong, 2013, 2013 IEEE International Conference on Communications (ICC).

Duqu: Analysis, Detection, and Lessons Learned

Levente Buttyán, Boldizsár Bencsáth, Gábor Pék, 2012 .

Node cooperation in hybrid ad hoc networks

Markus Jakobsson, Levente Buttyán, Jean-Pierre Hubaux, 2006, IEEE Transactions on Mobile Computing.

Security and Cooperation in Wireless Networks: Thwarting Malicious and Selfish Behavior in the Age of Ubiquitous Computing

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .

Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment

Levente Buttyán, Thorsten Tarrach, Dorottya Papp, 2019, SEFM.

From Fault Tolerance to Security and Back

Levente Buttyán, Klaus Kursawe, Felix C. Gärtner, 2003 .

Mobility helps peer-to-peer security

Srdjan Capkun, Levente Buttyán, Jean-Pierre Hubaux, 2006, IEEE Transactions on Mobile Computing.

Misbehaving router detection in link-state routing for wireless mesh networks

Levente Buttyán, Gergely Ács, László Dóra, 2010, 2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM).

Introducing Trusted Third Parties to the Mobile Agent Paradigm

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 2001, Secure Internet Programming.

Position-Based Aggregator Node Election in Wireless Sensor Networks

Levente Buttyán, Péter Schaffer, 2010, Int. J. Distributed Sens. Networks.

Secure vehicular communication systems: design and architecture

Panagiotis Papadimitratos, Levente Buttyán, Maxim Raya, 2008, IEEE Communications Magazine.

Tresorium: Cryptographic File System for Dynamic Groups over Untrusted Cloud Storage

Levente Buttyán, Szilveszter Szebeni, István Lám, 2012, 2012 41st International Conference on Parallel Processing Workshops.

Securing coding based distributed storage in wireless sensor networks

László Czap, Levente Buttyán, István Vajda, 2008, 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems.

Nash equilibria of packet forwarding strategies in wireless ad hoc networks

Levente Buttyán, Jean-Pierre Hubaux, Márk Félegyházi, 2006, IEEE Transactions on Mobile Computing.

ARMA: a scalable secure routing protocol with privacy protection for mobile ad hoc networks

Ioannis G. Askoxylakis, Levente Buttyán, István Vajda, 2010, CMC 2010.

CrySTINA: Security in the Telecommunications Information Networking Architecture

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1998 .

Cryptography: The strongest link in the chain *

Levente Buttyán, Boldizsár Bencsáth, 2012 .

Embedded systems security: Threats, vulnerabilities, and attack taxonomy

Levente Buttyán, Zhendong Ma, Dorottya Papp, 2015, 2015 13th Annual Conference on Privacy, Security and Trust (PST).

Privacy Protecting Protocols for Revocable Digital Signatures

Levente Buttyán, István Vajda, István Zsolt Berta, 2004, CARDIS.

Wireless Sensor Networks For CriticalInfrastructure Protection

Levente Buttyán, Augusto Casaca, Peter Langendoerfer, 2012 .

Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks

Levente Buttyán, Gergely Ács, István Vajda, 2006, IEEE Transactions on Mobile Computing.

Pollution Attack Defense for Coding Based Sensor Storage

László Czap, Levente Buttyán, István Vajda, 2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing.

MODELLING LOCATION REVEAL ATTACKS IN MOBILE SYSTEMS

Levente Buttyán, László Zömbik, 2004 .

Report on a working session on security in wireless ad hoc networks

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2003, MOCO.

Adatbiztonság és adatvédelem a mindent átható számítógépes technológia világában = Security and Privacy Issues in Pervasive Computing

Levente Buttyán, István Vajda, Istvan Berta, 2008 .

On the security of communication network: now and tomorrow

Levente Buttyán, István Vajda, Boldizsár Bencsáth, 2009 .

Security in TINA

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1998 .

RANBAR: RANSAC-based resilient aggregation in sensor networks

Levente Buttyán, István Vajda, Péter Schaffer, 2006, SASN '06.

A note on an authentication technique based on distributed security management for the global mobility network

Levente Buttyán, Uwe G. Wilhelm, Sebastian Staamann, 1998 .

A Minimum Cost Source Location Problem for Wireless Sensor Networks

Levente Buttyán, Aron Laszka, Dávid Szeszlér, 2013 .

Detection and Recovery from Pollution Attacks in Coding-Based Distributed Storage Schemes

László Czap, Levente Buttyán, István Vajda, 2011, IEEE Transactions on Dependable and Secure Computing.

Barter trade improves message delivery in opportunistic networks

Levente Buttyán, István Vajda, Márk Félegyházi, 2010, Ad Hoc Networks.

Security API analysis with the spi-calculus

Levente Buttyán, Ta Vinh Thong, 2008 .

Application of wireless sensor networks in critical infrastructure protection: challenges and design options [Security and Privacy in Emerging Wireless Networks]

Peter Langendörfer, Levente Buttyán, D. Gessner, 2010, IEEE Wireless Communications.

A Micro-Payment Scheme Encouraging Collaboration in Multi-hop Cellular Networks

Markus Jakobsson, Levente Buttyán, Jean-Pierre Hubaux, 2003, Financial Cryptography.

10402 Report - Working Group on Security and Privacy

Panagiotis Papadimitratos, Levente Buttyán, Elmar Schoch, 2010, Inter-Vehicular Communication.

Towards mobile ad-hoc WANs: terminodes

Levente Buttyán, Jean-Yves Le Boudec, Jean-Pierre Hubaux, 2000, 2000 IEEE Wireless Communications and Networking Conference. Conference Record (Cat. No.00TH8540).

Self-Organized Public-Key Management for Mobile Ad Hoc Networks

Srdjan Capkun, Levente Buttyán, Jean-Pierre Hubaux, 2003, IEEE Trans. Mob. Comput..

Cooperation in Multi-hop Cellular Networks

Markus Jakobsson, Levente Buttyán, Jean-Pierre Hubaux, 2003 .

Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks

Levente Buttyán, Fabio Martinelli, Marinella Petrocchi, 2010, Comput. Commun..

Resilient Aggregations: Statistical Approach

Levente Buttyán, István Vajda, Péter Schaffer, 2007 .

There Is Always an Exception: Controlling Partial Information Leakage in Secure Computation

Gábor Székely, Levente Buttyán, Máté Horváth, 2019, IACR Cryptol. ePrint Arch..

Building blocks for secure services

Levente Buttyán, 2002 .

Security and Privacy in Ad-Hoc and Sensor Networks, Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers

Dirk Westhoff, Levente Buttyán, Virgil D. Gligor, 2006, ESAS.

A taxonomy of routing protocols for wireless sensor networks

Levente Buttyán, Gergely Acs, L. Buttyán, 2007 .

Proceedings of the Second European conference on Security and Privacy in Ad-Hoc and Sensor Networks

Dirk Westhoff, Levente Buttyán, Virgil D. Gligor, 2005 .

EFFICIENT MULTI-PARTY CHALLENGE-RESPONSE PROTOCOLS FOR ENTITY AUTHENTICATION

Levente Buttyán, István Vajda, Attila Nagy, 2001 .

Securing multi-operator-based QoS-aware mesh networks: requirements and design options

Ioannis G. Askoxylakis, Levente Buttyán, István Vajda, 2010, Wirel. Commun. Mob. Comput..

Mitigating the untrusted terminal problem using conditional signatures

Levente Buttyán, István Vajda, István Zsolt Berta, 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

Statistical Wormhole Detection in Sensor Networks

Levente Buttyán, István Vajda, László Dóra, 2005, ESAS.

Security and Privacy in Ad-hoc and Sensor Networks: Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science)

Dirk Westhoff, Levente Buttyán, Virgil D. Gligor, 2007 .

On the Effectiveness of Changing Pseudonyms to Provide Location Privacy in VANETs

Levente Buttyán, István Vajda, Tamás Holczer, 2007, ESAS.

Az új algoritmusok és kódolási eljárások alkalmazása a mobil hírközlésben és informatikában = Application of new algorithms and coding procedures in mobile communications and computing

Dániel Marx, Levente Buttyán, László Györfi, 2007 .

Security analysis of reliable transport layer protocols for wireless sensor networks

Levente Buttyán, L. Csik, 2010, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).

Security and Cooperation in Wireless Networks: References

Levente Buttyán, Jean-Pierre Hubaux, L. Buttyán, 2007 .