log

age author description
Tue, 19 Jul 2011 09:18:50 -0400 Adam Chlipala Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp)