Security & Trust

Head of Unit

Silvio Ranise

Head of Impact Area Cybersecurity

Publications

dos Santos, Daniel Ricardo; Ranise, Silvio; 15th International Conference, SEFM 2017; On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows; in «Software Engineering and Formal Methods»; Vol. 10469>; 2017; pp. 203-218
Sudhodanan, Avinash; Carbone, Roberto; Compagna, Luca; Dolgin, Nicolas; Armando, Alessandro; Morelli, Umberto; 2017 IEEE European Symposium on Security and Privacy (EuroS&P); Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries; in «Proceedings of 2017 IEEE European Symposium on Security and Privacy (EuroS&P)»; 2017; pp. 350-365
Knauss, Eric; Susi, Angelo; Ameller, David; Berry, Daniel M.; Dalpiaz, Fabiano; Daneva, Maya; Daun, Marian; Dieste, Oscar; Forbrig, Peter; Groen, Eduard C.; Herrmann, Andrea; Horkoff, Jennifer; Kifetew, Fitsum Meshesha; Kirikova, Marite; Knauss, Alessia; Maeder, Patrick; Massacci, Fabio; Palomares, Cristina; Ralyté, Jolita; Seffah, Ahmed; Siena, Alberto; Tenbergen, Bastian; Joint Proceedings of REFSQ-2017 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017), Essen, Germany, February 27, 2017; CEUR-WS.org; Vol. 1796>; 2017; pp.
Fitsum Meshesha Kifetew, ; Denisse, Muñante; Jesús, Gorroñogoitia; Alberto, Siena; Angelo, Susi; Anna, Perini; Search Based Software Engineering - 9th International Symposium, SSBSE2017; Grammar Based Genetic Programming for Software Configuration Problem; in «Search Based Software Engineering - 9th International Symposium, SSBSE2017, Paderborn, Germany, September 9-11, 2017, Proceedings»; Springer; Vol. 10452>; 2017; pp. 130-136
Denisse, Munante; Siena, Alberto; Kifetew, Fitsum Meshesha; Susi, Angelo; Stade, Melanie; Seyff, Norbert; 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW); Gathering Requirements for Software Configuration from the Crowd; in «Proceedings of 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)»; IEEE; 2017; pp. 176-181
Fitsum Meshesha Kifetew, ; Denisse, Munante; Anna, Perini; Angelo, Susi; Alberto, Siena; Paolo, Busetta; Danilo, Valerio; 25th IEEE International Requirements Engineering Conference, RE2017; Gamifying Collaborative Prioritization: Does Pointsification Work?; in «25th IEEE International Requirements Engineering Conference, RE2017, Lisbon, Portugal, September 4-8, 2017»; IEEE; 2017; pp. 322-331
Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola; Formal analysis of XACML policies using SMT; in «COMPUTERS & SECURITY»; Vol. 66>; 2017; pp. 185-203
Itzel, Morales-Ramirez; Denisse, Munante; Fitsum Meshesha Kifetew, ; Anna, Perini; Angelo, Susi; Alberto, Siena; 25th IEEE International Requirements Engineering Conference, RE2017; Exploiting User Feedback in Tool-Supported Multi-criteria Requirements Prioritization; in «25th IEEE International Requirements Engineering Conference, RE2017, Lisbon, Portugal, September 4-8, 2017»; IEEE; 2017; pp. 424-429
Luca, Compagna; Avinash, Sudhodanan; Roberto, Carbone; Alessandro, Armando; Dynamic analysis security testing of multi-party web applications via attack patterns; 2017; pp.
Fitsum Meshesha Kifetew, ; Denisse, Munante; Anna, Perini; Angelo, Susi; Alberto, Siena; Paolo, Busetta; 25th IEEE International Requirements Engineering Conference, RE2017; DMGame: A Gamified Collaborative Requirements Prioritisation Tool; in «25th IEEE International Requirements Engineering Conference, RE2017, Lisbon, Portugal, September 4-8, 2017»; IEEE Computer Society; 2017; pp. 468-469