Ahmad Saif Ur Rehman

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Development Environments

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Softw. Pract. Exp.

Publications

Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister
Intersert: Assertions on Distributed Process Interaction Sessions. QRS (2017)
Ahmad Saif Ur Rehman, Augusto Born de Oliveira, Mahesh V. Tripunitara, Sebastian Fischmeister
The use of mTags for mandatory security: a case study. Softw. Pract. Exp. 44 (12) (2014)
Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister
mTags: augmenting microkernel messages with lightweight metadata. ACM SIGOPS Oper. Syst. Rev. 46 (2) (2012)