PEMToolKit: building a top-down certification hierarchy for PEM from the bottom up. - Alireza Bahreman (NDSS, 1995)

Active Messaging in Java. - Alireza Bahreman; Nick Zhang (WebNet, 1996)