Heidar Pirzadeh

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Heidar Pirzadeh, Danny Dubé: Encoding the Program Correctness Proofs as Programs in PCC Technology. PST 2008: 121-132

1 EE Heidar Pirzadeh, Danny Dubé: VEP: a virtual machine for extended proof-carrying code. VMSec 2008: 9-18

2008
2	EE	Heidar Pirzadeh, Danny Dubé: Encoding the Program Correctness Proofs as Programs in PCC Technology. PST 2008: 121-132
1	EE	Heidar Pirzadeh, Danny Dubé: VEP: a virtual machine for extended proof-carrying code. VMSec 2008: 9-18

Coauthor Index

1 Danny Dubé [1] [2]