mTags: augmenting microkernel messages with lightweight metadata. - Augusto Born de Oliveira; Ahmad Saif Ur Rehman; Sebastian Fischmeister (ACM SIGOPS Oper. Syst. Rev., 2012)

The use of mTags for mandatory security: a case study. - Ahmad Saif Ur Rehman; Augusto Born de Oliveira; Mahesh V. Tripunitara; Sebastian Fischmeister (Softw. Pract. Exp., 2014)

Intersert: Assertions on Distributed Process Interaction Sessions. - Zack Newsham; Augusto Born de Oliveira; Jean-Christophe Petkovich; Ahmad Saif Ur Rehman; Guy Martin Tchamgoue; Sebastian Fischmeister (QRS, 2017)