Professor Adjunto

Safety and Security Project Group Leader at fortiss GmbH
Professor Adjunto(Equivalent to Associate Professor)
Computer Networks Laboratory
Computer Science Department
Federal University of Paraíba
vivek.nigam@gmail.com

Events

News

  • » Our paper A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols has been accepted to Catherine Meadows Festschrift;

  • » Our paper Symbolic Timed Trace Equivalence has been accepted to Catherine Meadows Festschrift;

  • » Our paper Towards Computer-Aided Software Requirements Process has been accepted to Workshops of the Software Engineering Conference;

  • » All posts


Latest Work