Who's Who in
Engineering Academia

Jim Alves-Foss

Academic Title: Associate Professor

Administrative Title: Co-Director of the Center for Secure and Dependable Software

Name: Jim Alves-Foss

Personal Website: http://www.cs.uidaho.edu/

 

Department: Department of Computer Science

Department Website: http://www.cs.uidaho.edu/

Institution: University of Idaho, Moscow

 

Address: PO Box 441010
Moscow, Idaho 83844-1010

 

Highest Degree:

Date of Degree: 1991

Degree Institution: University of California, Davis

 

E-mail: Contact by e-mail?

 

Expertise: Formal methods in software engineering Surveying network information flow See SNIF Overview for an overview of the SNIF project. Authentication Protocol Research Development of new authentication protocols Analysis of authentication protocols and their logics Microprocessor verification Formal semantics of programming languages The semantics of the JAVA language The security of real-time embedded systems

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.