Fahd Arshad

According to our database, Fahd Arshad authored at least 3 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

g-HOL: A Graphical User Interface for the HOL Proof Assistant.

Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2007

User Discrimination through Structured Writing on PDAs.

Rachel R. M. Roberts, Roy A. Maxion, Kevin S. Killourhy, Fahd Arshad

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2005

Soups 2005.

Robert W. Reeder, Fahd Arshad

IEEE Secur. Priv., 2005