Marcin Poturalski

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Programmable Logic Controller

Formal Analysis

Top Venues

IEEE Trans. Wirel. Commun.

IEEE Trans. Dependable Secur. Comput.

Theor. Comput. Sci.

Publications

Slawomir Lasota, Marcin Poturalski
Undecidability of performance equivalence of Petri nets. Theor. Comput. Sci. 655 (2016)
Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux
Formal Analysis of Secure Neighbor Discovery in Wireless Networks. IEEE Trans. Dependable Secur. Comput. 10 (6) (2013)
Marcin Poturalski, Manuel Flury, Panos Papadimitratos, Jean-Pierre Hubaux, Jean-Yves Le Boudec
On Secure and Precise IR-UWB Ranging. IEEE Trans. Wirel. Commun. 11 (3) (2012)
Marcin Poturalski, Manuel Flury, Panos Papadimitratos, Jean-Pierre Hubaux, Jean-Yves Le Boudec
Distance Bounding with IEEE 802.15.4a: Attacks and Countermeasures. IEEE Trans. Wirel. Commun. 10 (4) (2011)
Manuel Flury, Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux, Jean-Yves Le Boudec
Effectiveness of distance-decreasing attacks against impulse radio ranging. WISEC (2010)
Wojciech Galuba, Panos Papadimitratos, Marcin Poturalski, Karl Aberer, Zoran Despotovic, Wolfgang Kellerer
Castor: Scalable Secure Routing for Ad Hoc Networks. INFOCOM (2010)
Slawomir Lasota, Marcin Poturalski
Undecidability of performance equivalence of Petri nets. CoRR (2009)
Reza Shokri, Marcin Poturalski, Gael Ravot, Panos Papadimitratos, Jean-Pierre Hubaux
A practical secure neighbor verification protocol for wireless sensor networks. WISEC (2009)
Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux
Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possibility CoRR (2008)
Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux
Secure neighbor discovery in wireless networks: formal investigation of possibility. AsiaCCS (2008)
Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux
Towards Provable Secure Neighbor Discovery in Wireless Networks CoRR (2008)
Parisa Haghani, Panagiotis Papadimitratos, Marcin Poturalski, Karl Aberer, Jean-Pierre Hubaux
Efficient and Robust Secure Aggregation for Sensor Networks CoRR (2008)
Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David A. Basin, Srdjan Capkun, Jean-Pierre Hubaux
Secure neighborhood discovery: a fundamental element for mobile ad hoc networking. IEEE Commun. Mag. 46 (2) (2008)
Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux
Towards provable secure neighbor discovery in wireless networks. FMSE (2008)
Shuo Wang, Marcin Poturalski, David Vronay
Designing a generalized 3D carousel view. CHI Extended Abstracts (2005)