You are here

Publications

  1. Sharif, Amir; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
    Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
    vol.2,
    2019
    , pp. 268-
    275
    , (16th International Joint Conference on e-Business and Telecommunications - SECRYPT,
    Prague, Czech Republic,
    26-28 July, 2019)
  2. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 26,
    n. 4,
    2018
    , pp. 423 -
    458
  3. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
    Model checking: teoria ed applicazioni,
    Le direzioni della ricerca logica in Italia 2,
    Edizioni ETS,
    2018
    , pp. 141 -
    193
  4. Buriro, Attaullah; Crispo, Bruno; Eskandari, Mojtaba; Gupta, Sandeep; Mahboob, Athar; Van Acker, Rutger,
    Emerging Technologies for Authorization and Authentication,
    2018
    , (1st International Workshop on Emerging Technologies for Authorization and Authentication (Co-Located with ESORICS 2018),
    Barcelona, Spain,
    7th September 2018)
  5. Bertolissi, Clara; dos Santos, Daniel R.; Ranise, Silvio,
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT),
    2018
    , pp. 117-
    128
    , (23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 18,
    Indianapolis, Indiana, USA,
    June 13 - 15, 2018)
  6. Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola,
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT),
    2018
    , pp. 235-
    246
    , (23nd ACM on Symposium on Access Control Models and Technologies (SACMAT 18),
    Indianapolis, Indiana, USA,
    June 13 - 15, 2018)
  7. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca,
    Proceedings of 2018 7th International Conference on Principles of Security and Trust (POST),
    vol.10804,
    2018
    , pp. 188-
    213
    , (2018 7th International Conference on Principles of Security and Trust (POST),
    Thessaloniki, Greece,
    16-19 April 2018)
  8. Ahmad, Tahir; Ranise, Silvio,
    Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS 2018),
    vol.11358,
    2018
    , pp. 131-
    139
    , (International Symposium on Foundations and Practice of Security (FPS 2018),
    Montreal, QC, Canada,
    13-15 November 2018)
  9. Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio,
    PADS: Practical Attestation for Highly Dynamic Swarm Topologies,
    Proceedings of the 7th International Workshop onSecure Internet of Things @ ESORICS 2018(SIoT 2018),
    2018
    , (Workshop Secure Internet of Things II @ESORICS 2018,
    Barcelona, Spain,
    6-7/9/2018)
  10. Conti, Mauro; Kaliyar, Pallavi; Rabbani, Md Masoom; Ranise, Silvio,
    Proceedings of the 14th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob'18),
    2018
    , (2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob),
    Limassol, Cyprus,
    15-17 Oct. 2018)

Pages