Valentina Ciriani

Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa: Minimization of P-circuits using Boolean relations. DATE 2013: 996-1001

Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa: Synthesis of P-circuits for logic restructuring. Integration 45(3): 282-293 (2012)

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati: An OBDD approach to enforce confidentiality and visibility constraints in data publishing. Journal of Computer Security 20(5): 463-508 (2012)

Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa: Projected Don't Cares. DSD 2012: 57-64

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Compact DSOP and partial DSOP Forms. CoRR abs/1204.5306 (2012)

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati: Selective data outsourcing for enforcing privacy. Journal of Computer Security 19(3): 531-566 (2011)

Anna Bernasconi, Valentina Ciriani: Dimension-reducible Boolean functions based on affine spaces. ACM Trans. Design Autom. Electr. Syst. 16(2): 13 (2011)

Anna Bernasconi, Valentina Ciriani: Compact and Testable Circuits for Regular Functions. ARCS Workshops 2011

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati: Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach. DBSec 2011: 44-59

Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa: An approximation algorithm for cofactoring-based synthesis. ACM Great Lakes Symposium on VLSI 2011: 193-198

Anna Bernasconi, Valentina Ciriani: Autosymmetric Multiple-Valued Functions: Theory and Spectral Characterization. ISMVL 2011: 10-15

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati: Combining fragmentation and encryption to protect privacy in data storage. ACM Trans. Inf. Syst. Secur. 13(3) (2010)

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Fun at a Department Store: Data Mining Meets Switching Theory. FUN 2010: 41-52

Anna Bernasconi, Valentina Ciriani: Logic synthesis and testability of D-reducible functions. VLSI-SoC 2010: 280-285

Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa: On decomposing Boolean functions via extended cofactoring. DATE 2009: 1464-1469

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati: Enforcing Confidentiality Constraints on Sensitive Databases with Lightweight Trusted Clients. DBSec 2009: 225-239

Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa: Logic Minimization and Testability of 2SPP-P-Circuits. DSD 2009: 773-780

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati: Keep a Few: Outsourcing Data While Maintaining Confidentiality. ESORICS 2009: 440-455

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati: Fragmentation Design for Efficient Query Execution over Sensitive Distributed Databases. ICDCS 2009: 32-39

Görschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler: On the construction of small fully testable circuits with low depth. Microprocessors and Microsystems - Embedded Hardware Design 32(5-6): 263-269 (2008)

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Synthesis of Autosymmetric Functions in a New Three-Level Form. Theory Comput. Syst. 42(4): 450-464 (2008)

Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa: Logic Minimization and Testability of 2-SPP Networks. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1190-1202 (2008)

Anna Bernasconi, Valentina Ciriani, Roberto Cordone: The optimization of kEP-SOPs: Computational complexity, approximability and experiments. ACM Trans. Design Autom. Electr. Syst. 13(2) (2008)

Anna Bernasconi, Valentina Ciriani, Roberto Cordone: On Projecting Sums of Products. DSD 2008: 787-794

Giorgio Boselli, Valentina Ciriani, Valentino Liberali, Gabriella Trucco: A Comparison between Two Logic Synthesis Forms from Digital Switching Noise Viewpoint. PATMOS 2008: 237-246

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati: k -Anonymous Data Mining: A Survey. Privacy-Preserving Data Mining 2008: 105-136

Valentina Ciriani, Paolo Ferragina, Fabrizio Luccio, S. Muthukrishnan: A data structure for a sequence of string accesses in external memory. ACM Transactions on Algorithms 3(1) (2007)

Görschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler: On the Construction of Small Fully Testable Circuits with Low Depth. DSD 2007: 563-569

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati: Fragmentation and Encryption to Enforce Privacy in Data Storage. ESORICS 2007: 171-186

Anna Bernasconi, Valentina Ciriani, Roberto Cordone: An approximation algorithm for fully testable kEP-SOP networks. ACM Great Lakes Symposium on VLSI 2007: 417-422

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati: Microdata Protection. Secure Data Management in Decentralized Systems 2007: 291-321

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati: k-Anonymity. Secure Data Management in Decentralized Systems 2007: 323-353

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Exploiting Regularities for Boolean Function Synthesis. Theory Comput. Syst. 39(4): 485-501 (2006)

Valentina Ciriani, Anna Bernasconi, Rolf Drechsler: Testability of SPP Three-Level Logic Networks in Static Fault Models. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 2241-2248 (2006)

Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa: Efficient minimization of fully testable 2-SPP networks. DATE 2006: 1300-1305

Anna Bernasconi, Valentina Ciriani: DRedSOP: Synthesis of a New Class of Regular Functions. DSD 2006: 377-384

Anna Bernasconi, Valentina Ciriani, Roberto Cordone: EXOR Projected Sum of Products. VLSI-SoC 2006: 284-289

Valentina Ciriani, Nadia Pisanti, Anna Bernasconi: Room allocation: a polynomial subcase of the quadratic assignment problem. Discrete Applied Mathematics 144(3): 263-269 (2004)

Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Synthesis of integer multipliers in sum of pseudoproducts form. Integration 36(3): 103-119 (2003)

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Three-level logic minimization based on function regularities. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 1005-1016 (2003)

Valentina Ciriani: Synthesis of SPP three-level logic networks using affine spaces. IEEE Trans. on CAD of Integrated Circuits and Systems 22(10): 1310-1323 (2003)

Valentina Ciriani, Anna Bernasconi, Rolf Drechsler: Testability of SPP Three-Level Logic Networks. VLSI-SOC 2003: 331-336

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Fast three-level logic minimization based on autosymmetry. DAC 2002: 425-430

Valentina Ciriani, Paolo Ferragina, Fabrizio Luccio, S. Muthukrishnan: Static Optimality Theorem for External Memory String Access. FOCS 2002: 219-227

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli: Implicit Test of Regularity for Not Completely Specified Boolean Functions. IWLS 2002: 345-350

Valentina Ciriani: Logic Minimization using Exclusive OR Gates. DAC 2001: 115-120