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