Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems. - Ramesh V. Peri; William A. Wulf (CSFW, 1994)

A Logic of Composition for Information Flow Predicates. - Ramesh V. Peri; William A. Wulf; Darrell M. Kienzle (CSFW, 1996)

Compilers and Tools for Embedded Systems - Introduction. - Ramesh V. Peri; Srinivas Doddapaneni (HICSS, 2000)

Addressing mode driven low power data caches for embedded processors. - Ramesh V. Peri; John Fernando; Ravi K. Kolagotla (WMPI, 2004)

Enhanced code density of embedded CISC processors with echo technology. - Youfeng Wu; Maurício Breternitz Jr.; Herbert H. J. Hum; Ramesh V. Peri; Jay Pickett (CODES+ISSS, 2005)