A theory of integrating tamper evidence with stabilization von Hajisheykhi, Reza, Ebnenasir, Ali, Kulkarni, Sandeep S.

Volltext

Bounded Auditable Restoration of Distributed Systems von Hajisheykhi, Reza, Roohitavaf, Mohammad, Kulkarni, Sandeep S.

Volltext

Facilitating the design of fault tolerance in transaction level SystemC programs von Ebnenasir, Ali, Hajisheykhi, Reza, Kulkarni, Sandeep S.

Volltext

“Slow is Fast” for wireless sensor networks in the presence of message losses von Hajisheykhi, Reza, Zhu, Ling, Arumugam, Mahesh, Demirbas, Murat, Kulkarni, Sandeep

Volltext

Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs von Hajisheykhi, Reza, Ebnenasir, Ali, Kulkarni, Sandeep S.

Volltext

Knowledge-Based Automated Repair of Authentication Protocols von Bonakdarpour, Borzoo, Hajisheykhi, Reza, Kulkarni, Sandeep S.

Volltext

Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs von Ebnenasir, Ali, Hajisheykhi, Reza, Kulkarni, Sandeep S.

Volltext