BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20100314T020000 RDATE:20100314T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20101007T210527Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20101012T113000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20101012T103000 DTSTAMP;VALUE=DATE-TIME:20101007T210527Z LAST-MODIFIED;VALUE=DATE-TIME:20101007T210527Z UID:http://calagator.org/events/1250459326 DESCRIPTION:Presented by Priyank Kalla. \;\n \;\nApplications in Cr yptography require multiplication and exponentiation operations to be pe rformed over Galois fields GF(2^k). Therefore\, there has been quite an interest in the hardware design and optimization of such multipliers. Th is has led to impressive advancements in this area — such as the use of composite field decomposition techniques\, use of Montgomery multiplicat ion\, among others. \;\n \;\nMy research group has recently begun investigations in the verification of such Galois Field multipliers. Unf ortunately\, the word-length (k) in such multipliers can be very large: typically\, k = 256. Due to such large word-lengths\, verification techn iques based on decision diagrams\, SAT and contemporary SMT solvers are infeasible. We are exploring the use of Computer Algebra techniques\, ma inly Groebner bases theory\, to tackle this problem. In this talk\, we w ill see why Groebner bases techniques look promising\, while at the same time also studying the challanges that have to be overcome.\n\nTags: ga lois\, tech talk\, cryptography\n\nImported from: http://calagator.org/e vents/1250459326 URL:http://www.galois.com/blog/2010/10/07/2007/ SUMMARY:Galois Tech Talk: Application of Computer Algebra Techniques in V erification of Galois Field Multipliers: Potential + Challenges LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR