Kenan Kalajdzic

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Lossless Compression

Particle Filter

Top Venues

Comput. Stand. Interfaces

Publications

Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) (2016)
Kenan Kalajdzic, Samaher Hussein Ali, Ahmed Patel
Rapid lossless compression of short text messages. Comput. Stand. Interfaces 37 (2015)
Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
Runtime Verification with Particle Filtering. RV (2013)
Ahmed Patel, Kenan Kalajdzic
Active Detection and Prevention of Sophisticated ARP-Poisoning Man-in-the-Middle Attacks on Switched Ethernet LANs. WDFIA (2011)
Ahmed Patel, Kenan Kalajdzic, Laleh Golafshan
Design and Implementation of a Zero-Knowledge Authentication Framework for Java Card. Int. J. Inf. Secur. Priv. 5 (3) (2011)
Kenan Kalajdzic, Ahmed Patel, Mona Taghavi
Two Methods for Active Detection and Prevention of Sophisticated ARP-Poisoning Man-in-the-Middle Attacks on Switched Ethernet LANs. Int. J. Digit. Crime Forensics 3 (3) (2011)
Kenan Kalajdzic, Ahmed Patel
A fast scheme for recovery of deleted files with evidential recording for digital forensics. WDFIA (2009)