Fahd Arshad

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Higher Order Logic

Logical Framework

Top Venues

Publications

Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan
g-HOL: A Graphical User Interface for the HOL Proof Assistant. FTSCS (2015)
Rachel R. M. Roberts, Roy A. Maxion, Kevin S. Killourhy, Fahd Arshad
User Discrimination through Structured Writing on PDAs. DSN (2007)
Robert W. Reeder, Fahd Arshad
Soups 2005. IEEE Secur. Priv. 3 (5) (2005)