|
|
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 |
|
