Kenan Kalajdzic

According to our database, Kenan Kalajdzic authored at least 7 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.

Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Rapid lossless compression of short text messages.

Kenan Kalajdzic, Samaher Hussein Ali, Ahmed Patel

Comput. Stand. Interfaces, 2015

2013

Runtime Verification with Particle Filtering.

Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu

Proceedings of the Runtime Verification - 4th International Conference, 2013

2011

Design and Implementation of a Zero-Knowledge Authentication Framework for Java Card.

Ahmed Patel, Kenan Kalajdzic, Laleh Golafshan

Int. J. Inf. Secur. Priv., 2011

Two Methods for Active Detection and Prevention of Sophisticated ARP-Poisoning Man-in-the-Middle Attacks on Switched Ethernet LANs.

Kenan Kalajdzic, Ahmed Patel, Mona Taghavi

Int. J. Digit. Crime Forensics, 2011

Active Detection and Prevention of Sophisticated ARP-Poisoning Man-in-the-Middle Attacks on Switched Ethernet LANs.

Ahmed Patel, Kenan Kalajdzic

Proceedings of the 6th International Workshop on Digital Forensics and Incident Analysis, 2011

2009

A fast scheme for recovery of deleted files with evidential recording for digital forensics.

Kenan Kalajdzic, Ahmed Patel

Proceedings of the 4th International Workshop on Digital Forensics and Incident Analysis, 2009