glguy
0 Followers · 0 Following
  • Joined on 2023-07-27
Repositories
5
 Projects Packages Public Activity Starred Repositories
glguy pushed to main at glguy/ascon 2025-09-09 20:55:30 -07:00
6287904204 Update tests for AEAD change
glguy pushed to main at glguy/ascon 2025-09-08 11:08:56 -07:00
a3d978a4b3 Fixup documentation for tag change
glguy pushed to main at glguy/ascon 2025-09-07 20:27:52 -07:00
8813e6066f Fixup saw proofs
glguy pushed to main at glguy/ascon 2025-09-07 17:37:13 -07:00
1acbbe633f Documentation and layout
glguy pushed to main at glguy/ascon 2025-09-07 11:37:38 -07:00
639ad1f1dd More inline equations from the spec
glguy pushed to main at glguy/ascon 2025-09-07 10:41:56 -07:00
8c9c356220 Add saw proof for AEAD inversion
glguy pushed to main at glguy/ascon 2025-09-05 22:37:11 -07:00
671aac130f Add a license file
glguy pushed to main at glguy/ascon 2025-09-05 09:12:12 -07:00
593a440b84 Documentation and visibility
glguy pushed to main at glguy/ascon 2025-09-04 20:58:35 -07:00
86aab13dc4 Comments and fix error introduce in previous cleanup
glguy pushed to main at glguy/ascon 2025-09-04 20:37:10 -07:00
ce7c9a8798 Fixup the docstrings
glguy pushed to main at glguy/ascon 2025-09-04 18:30:52 -07:00
be65d0dd4e Unify into a single implementation file
glguy pushed to main at glguy/ascon 2025-09-04 14:56:11 -07:00
51dbdbf415 Documentation and improved bit-order treatment
glguy pushed to main at glguy/ascon 2025-09-04 11:24:28 -07:00
676629dfe5 Add CXOF128 and AEAD128
3f41ee80e3 Add XOF mode
Compare 2 commits »
glguy pushed to main at glguy/ascon 2025-09-03 17:01:08 -07:00
338a68acf4 get the endianness working
glguy created branch main in glguy/ascon 2025-09-03 08:49:41 -07:00
glguy pushed to main at glguy/ascon 2025-09-03 08:49:41 -07:00
2186fd610f 🐣
glguy created repository glguy/ascon 2025-09-03 08:47:18 -07:00
glguy pushed to main at glguy/xbot 2025-03-09 13:52:51 -07:00
7793e8b02c simpler initialization
glguy pushed to main at glguy/xbot 2025-02-08 11:15:39 -08:00
04a092b9a3 Clean up the reply codes
glguy pushed to main at glguy/xbot 2025-02-07 17:34:11 -08:00
4fc8d4d49c join channels that we're announcing to