Add new paper

_data/destinations.yml

@@ -22,6 +22,11 @@
   url: https://www.sciencedirect.com/journal/information-and-computation
   type: journal
 
+- id: IEEE_SP
+  name: IEEE Security & Privacy
+  url: https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=8013
+  type: journal
+
 - id: IJFCS
   name: International Journal of Foundations of Computer Science
   url: https://www.worldscientific.com/worldscinet/ijfcs

_data/publications.yml

@@ -2128,6 +2128,21 @@
   doi: 10.1109/EuroSP60621.2024.00016
   urlComplementary: https://st.fbk.eu/complementary/EuroSP2024
 
+- id: IEEE_SP2024
+  #id_iris:
+  title: "Enhancing Security Testing for Identity Management Implementations: Introducing Micro-Id-Gym Language and Micro-Id-Gym Testing Tool"
+  authors:
+    - AndreaBisegna
+    - MatteoBitussi
+    - RobertoCarbone
+    - SilvioRanise
+  abstract: >
+    We introduce MIG-L, a declarative language for the specification of security tests, and MIG-T, a testing tool, for identity management solutions based on SAML and OAuth/OpenID Connect. We verify compliance with best current practices and detect known vulnerabilities.
+  destination: IEEE_SP
+  year: 2024
+  #doi:
+  urlNews: /news/2024/09/26/paper-accepted-at-ieee-sp/
+
 - id: iMETA2024
   title: "Beyond Screens: Investigating Identity Proofing for the Metaverse Through Cross-Device Flows"
   authors:

_news/2024-09-26-paper-accepted-at-ieee-sp.md

@@ -0,0 +1,15 @@
+---
+title: Paper accepted at IEEE Security & Privacy
+papers:
+    - IEEE_SP2024
+
+people:
+    - AndreaBisegna
+    - MatteoBitussi
+    - RobertoCarbone
+    - SilvioRanise
+
+tools:
+    - Micro-Id-Gym
+
+---

_tools/Micro-Id-Gym.md

@@ -14,6 +14,7 @@ publications:
     - DETIPS2020
     - ETAA2021_MIG
     - EUROSP2024
+    - IEEE_SP2024
 
 theses:
     - GiulioPellizzari_B

_topics/IdentityManagement.md

@@ -33,6 +33,7 @@ publications:
     - RACS2023
     - EUROSP2024
     - iMETA2024
+    - IEEE_SP2024
 
 theses:
     - DamianoSartori_B