BITS Pilani

  • Page last updated on Friday, March 25, 2022

Research Dissemination

Research Dissemination

Research Dissemination

Papers presented.


1.     Presented the paper --"LOCKS:  a specification language for security goals" at ACM SAC-SVT held at Pau, France from April 9-13, 2018

2.     Presented the paper--"Safety and security analysis via attack-fault trees" at HASE 2018 held at Singapore from January 12-17, 2018

3.     Presented the paper—“Attack defense tree analyze threats in ATM” at 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM) 8 - 10 November, 2016, Skövde, Sweden

4.     Presented the paper--“Sequential and Parallel Attack Tree Modelling” at SAFECOMP 2015, held at Delft, Netherlands

5.     Presented the paper—“Quantitative attack tree analysis using priced timed automata” at FORMATS 2015 held at Madrid, Spain

6.     Presented the paper— “Time dependent attack tree analysis” at ETAPS 2015, held at London, UK


Poster presentation.

  •  Presented “Quantitative Analysis of Socio-Technical Security Models - The TREsPASS project” at Cybersecurity and Privacy (CySeP) Winter School, held at KTH, Stockholm, 27-31 October 2014.


Deliverables (Project reports).



Program Committee.

1. International Conference on Networks and Cryptology (NetCrypt) 2019, Jawahar lal Nehru University, New Delhi

2. 7th International Workshop on Graphical Models for Security (GraMSec 2020,, held online in conjunction with the 33rd IEEE Computer Security Foundations Symposium, on June 22, 2020.

Quick Links

    An Institution Deemed to be University estd. vide Sec.3 of the UGC Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

    © 2022 Centre for Software Development,SDET Unit, BITS-Pilani, India.

    Designed and developed by fractal | ink design studios