| 2017 | DBSEC | Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems. | Anna Lisa Ferrara, Anna Cinzia Squicciarini, Cong Liao, Truc L. Nguyen |
| 2017 | TACAS | Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). | Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | ATVA | Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | FMCAD | Lazy sequentialization for TSO and PSO via shared memory abstractions. | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | TACAS | MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | CAV | Vac - Verifier of Administrative Role-Based Access Control Policies. | Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato |