Skip to main content
  • Home
  • About the ACP
    • History of the ACP
    • Policies
      • Anti-Harassment
      • Diversity, Equity and Inclusion
      • CP Conference Organisation
    • Legal Information
      • Statutes of the ACP (English version)
      • Statutes of the ACP
      • Bylaws of the ACP
    • Executive Committee
      • Current Committee
      • Elections
        • 2024 Election Results
        • 2022 Election Results
        • 2020 Election Results
        • 2018 Election Results
        • 2016 Election Results
        • 2014 Election Results
        • 2012 Election Results
        • 2010 Election Results
        • 2008 Election Results
        • 2007 Election Results
        • 2006 Election Results
        • 2005 Election Results
        • 2004 Election Results
        • 2003 Election Results
      • Quarterly Reports / Decisions
    • General Assembly reports
    • Sponsorships & Donations
    • ACP Logo
  • Constraints Journal
  • Constraint Programming
    • Resources
    • Solvers
    • ACP Success Stories
    • Publication Venues
    • CP and CPAIOR Papers
    • PhD Thesis Archive
    • Career News
  • Events
    • CP Conference Series
    • ACP Summer Schools
    • Competitions
    • Call for Outreach Initiatives
  • Awards
    • Research Excellence Award
    • Distinguished Service Award
    • Early Career Researcher Award
    • Doctoral Research Award
    • Paper Awards
  • Log In
  • Contact
HomeAssociation for Constraint Programming

Constraints - Volume in Progress


Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver
Oleg Zaikin
video

Design by Adaptive Theme