Formal Methods for Security

People 1

Documents 0

Journals 0

Jobs 0

Network Security

Computers in Graphic Design

Agent Based Simulation

Computer and Information Technology

Virtual Private Network

Access Control/Cyber Security, Semantic Computing, Complex Event Processing, Data Mining/Machine Learning, Cloud Computing, Distributed Information Systems/Cyber Physical Systems/Smart spaces/RFID and Sensor Networks, VoIP/SIP/IMS, P2P/Overlay Networks

Programming Language Java,C++,C

Mathematics, Graph Theory, Game Theory, Discrete Mathematics

Provable Security

Robot Programming and Software Parts

Collaboration and Coordination in Multi-Agent Systems

Artificial Intelligence and Machine Learning

Information Security and Cryptology

Applied Math, Cryptology

end-to-en Security

Data and Network Security

Zero Knowledge Protocols

Formal Methods for Security

What is Following?

Following Vahid's work means that, in your Academia.edu News Feed, you will see Vahid's:

status updates
new papers
new research interests

and other research updates.

Vahid Khodabakhshi

Sharif University of Technology

Graduate Student

Computer Engineering Department

Agent Based Simulation, Anonymity, Data and Network Security, and Formal Methods for Security

x

Log In

Academia © 2012