Commit graph

23 commits

Author SHA1 Message Date
abbd0e8670
Small changes 2024-03-12 20:57:41 -04:00
8463470f71
Small changes 2024-01-27 12:56:48 -05:00
451a7b42f4
Small changes 2024-01-27 12:50:25 -05:00
34352b7809
Research page revamped 2024-01-27 12:46:23 -05:00
1bb95f36d7
Fixed links 2023-09-26 17:43:41 -04:00
a7438c173c
Adjusted some info about the crypto group 2023-04-14 13:49:41 -04:00
3884304a77
New link to cryptosolve 2023-04-14 12:56:20 -04:00
0e5f69e827 Research page updates 2022-08-21 00:08:38 -04:00
73e972db60 Added new section on automated theorem proving 2022-05-16 18:21:53 -04:00
eb301db693 Uploaded and updated references for WRLA presentation 2022-04-03 10:24:04 -04:00
b019f70488 Small research page updates 2022-02-17 13:40:33 -05:00
a12db74b98 Updated research page 2022-02-17 13:37:46 -05:00
fd62fbaf72 Cleaned up some old pages and uploaded some proceedings 2021-12-13 16:56:35 -05:00
d222df272b Research updates 2021-10-18 21:55:58 -04:00
74211e125c Added links to other's personal websites 2021-10-11 00:13:05 -04:00
2489aa163b Updated research section on website 2021-10-10 23:15:46 -04:00
6575a655e8 Added UNIF 2020 slides 2021-07-26 10:54:18 -04:00
7ccec419fc Reflowed research page to mainly highlight RL and SM. 2021-07-26 09:13:58 -04:00
1febd163f3 Added link to now published CryptoSolve tool. 2020-11-27 20:16:09 -05:00
228a587825 Updated research and publications 2020-08-30 00:47:10 -04:00
d6bcdece60 Added Eagle Scholar Entry 2020-04-27 23:11:10 -04:00
a4246d52a3 Updated theme and rearranged files to agree with hugo standard 2020-03-01 09:47:54 -05:00
50ec3688a5 Website snapshot 2020-01-15 21:51:49 -05:00