Valentina Ciriani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
9
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Polynomial Verification of 2-Affine Spaces. | Anna Bernasconi, Valentina Ciriani, Gianmarco Cuciniello, Caroline Dominik, Rolf Drechsler |
| 2023 | DSD | Compact Quantum Circuits for Dimension Reducible Functions. | Anna Bernasconi, Valentina Ciriani, Asma Taheri Monfared, Stefano Zanoni |
| 2022 | DATE | On the Optimal OBDD Representation of 2-XOR Boolean Affine Spaces. | Anna Bernasconi, Valentina Ciriani, Marco Longhi |
| 2022 | DATE | ADD-based Spectral Analysis of Probing Security. | Maria Chiara Molteni, Vittorio Zaccaria, Valentina Ciriani |
| 2021 | DATE | Autosymmetry of Incompletely Specified Functions. | Anna Bernasconi, Valentina Ciriani |
| 2021 | DSD | A Boolean Heuristic for Disjoint SOP Synthesis. | Padmanabhan Balasubramanian, Anna Bernasconi, Valentina Ciriani, Tiziano Villa |
| 2020 | DAC | Multiplicative Complexity of Autosymmetric Functions: Theory and Applications to Security. | Anna Bernasconi, Stelvio Cimato, Valentina Ciriani, Maria Chiara Molteni |
| 2020 | DATE | Computing the full quotient in bi-decomposition by approximation. | Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Tiziano Villa |
| 2019 | DATE | Approximate Logic Synthesis by Symmetrization. | Anna Bernasconi, Valentina Ciriani, Tiziano Villa |
| 2019 | DSD | Testability of Switching Lattices in the Cellular Fault Model. | Anna Bernasconi, Valentina Ciriani, Luca Frontini |
| 2017 | DATE | Computing with nano-crossbar arrays: Logic synthesis and fault tolerance. | Mustafa Altun, Valentina Ciriani, Mehdi Baradaran Tahoori |
| 2017 | DSD | Composition of Switching Lattices and Autosymmetric Boolean Function Synthesis. | Anna Bernasconi, Valentina Ciriani, Luca Frontini, Gabriella Trucco |
| 2017 | DSD | Exploiting Quantum Gates in Secure Computation. | Maryam Ehsanpour, Stelvio Cimato, Valentina Ciriani, Ernesto Damiani |
| 2016 | DSD | Synthesis and Performance Optimization of a Switching Nano-Crossbar Computer. | Dan Alexandrescu, Mustafa Altun, Lorena Anghel, Anna Bernasconi, Valentina Ciriani, Luca Frontini, Mehdi Baradaran Tahoori |
| 2016 | DSD | Logic Synthesis for Switching Lattices by Decomposition with P-Circuits. | Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa |
| 2015 | DSD | Bi-Decomposition Using Boolean Relations. | Anna Bernasconi, Robert K. Brayton, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2015 | DSD | Biconditional-BDD Ordering for Autosymmetric Functions. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco |
| 2014 | DSD | 2-SPP Approximate Synthesis for Error Tolerant Applications. | Anna Bernasconi, Valentina Ciriani |
| 2013 | DATE | Minimization of P-circuits using Boolean relations. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2013 | DDECS | Error resilient OBDDs. | Anna Bernasconi, Valentina Ciriani, Lorenzo Lago |
| 2012 | DSD | Projected Don't Cares. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2011 | DBSEC | Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach. | Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati |
| 2010 | FUN | Fun at a Department Store: Data Mining Meets Switching Theory. | Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli |
| 2009 | DATE | On decomposing Boolean functions via extended cofactoring. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2009 | DBSEC | Enforcing Confidentiality Constraints on Sensitive Databases with Lightweight Trusted Clients. | Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati |
| 2009 | DSD | Logic Minimization and Testability of 2SPP-P-Circuits. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2009 | ESORICS | Keep a Few: Outsourcing Data While Maintaining Confidentiality. | Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati |
| 2009 | ICDCS | Fragmentation Design for Efficient Query Execution over Sensitive Distributed Databases. | Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati |
| 2008 | DSD | On Projecting Sums of Products. | Anna Bernasconi, Valentina Ciriani, Roberto Cordone |
| 2007 | DSD | On the Construction of Small Fully Testable Circuits with Low Depth. | Grschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler |
| 2007 | ESORICS | Fragmentation and Encryption to Enforce Privacy in Data Storage. | Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati |
| 2006 | DATE | Efficient minimization of fully testable 2-SPP networks. | Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa |
| 2006 | DSD | DRedSOP: Synthesis of a New Class of Regular Functions. | Anna Bernasconi, Valentina Ciriani |
| 2002 | DAC | Fast three-level logic minimization based on autosymmetry. | Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli |
| 2002 | FOCS | Static Optimality Theorem for External Memory String Access. | Valentina Ciriani, Paolo Ferragina, Fabrizio Luccio, S. Muthukrishnan |
| 2001 | DAC | Logic Minimization using Exclusive OR Gates. | Valentina Ciriani |