Vivek Nigam
Postdoctorate Researcher
Alexander von Humboldt Fellow
Computer Science Department
Ludwig-Maximilians-Universität München
Oettingenstr. 67
80538 München, Germany
vivek.nigam@ifi.lmu.de
Supervisor: Prof. Martin Hofmann
News
Please consider submitting to the Workshop on Logical and Semantic Frameworks, with Applications. It is a nice forum to discuss your current work and this year it will take place at Rio de Janeiro!
My conference submission On the Complexity of Linear Authorization Logics has been accepted to LiCS’12.
Check out our new journal submission An Extended Framework for Specifying and Reasoning about Proof Systems. Also check the on-line tool for verifying proof systems called TATU. Giselle will also be talking about this paper at the Summer Workshop on Proof Theory at Pisa.
Our conference submission A Rewriting Framework for Activities Subject to Regulations has been accepted to RTA’12.
Our journal submission Bounded memory Dolev-Yao adversaries in collaborative systems has been conditionally accepted to the special issue of Security and Rewriting of Information and Computation.
Our journal submission Maintaining Distributed Logic Programs Incrementally has been accepted for publication in Computer Languages, Systems and Structures (COMLAN), Elsevier Publishing.
Our journal submission FSR: Formal Analysis a Implementation Toolkit for Safe Inter-domain Routing has been accepted for publication in IEEE/ACM Transactions on Networking (ToN).
