James Brownlee
b2a64ed17a
feat: add INITIATOR_TEST and RESPONDER_TEST macros
...
Added INITIATOR_TEST and RESPONDER_TEST macros to the identity hiding
mpv file that can be used to selectively test the anonymity of the
initiator or the responder.
2024-01-03 18:35:54 +01:00
James Brownlee
91da0dfd2d
feat: identity hiding in two stage process
...
Changed identity hiding test to work as a two stage process where
participants with fresh secure secret keys communicate with each other
and other compromised participants. Then the attacker is asked to
identify the difference between two of the secure participants as on of
them acts as a responder.
2024-01-03 18:35:54 +01:00
James Brownlee
4a170b1983
feat: add inital identity hiding code to proverif
2024-01-03 18:35:54 +01:00
wucke13
7c83e244f9
fix: fix Rust code in markdown files
...
This applies the novel format_rustcode.sh script to the markdown files in the
repo, to maintain a consistent style across code examples.
2023-12-22 17:57:32 +01:00
alankritdabral_2
eb76179dc4
feat: add format_rustcode.sh script
...
This script makes it possible to check formatting of rust code found in the various markdown files in the repo. It is also added as a job to the QC CI workflow.
2023-12-22 17:57:32 +01:00
wucke13
d84efa7422
Merge pull request #197 from guhitb/main
...
Add backwards compatibility for keygen command
2023-12-21 11:28:25 +01:00
user
61ef5b92bb
fix: add deprecated keygen command
...
This allows users to use the old keygen command, while being informed
about its deprecation.
2023-12-20 16:03:47 +01:00
Prabhpreet Dua
b336a0d264
Separate cookie message from envelope encapsulation, remove mac, cookie field
2023-12-12 07:24:08 +05:30
Prabhpreet Dua
0b7bec75de
Use common CookieStore for biscuit, and cookie secret, add padding to CookieReply, trigger immediate retransmission on recieving cookie reply
2023-12-10 18:17:37 +05:30
Prabhpreet Dua
87bbd1eef7
Reuse lifecycle (biscuit mechanism) for cookie expiration
2023-12-10 17:10:12 +05:30
Prabhpreet Dua
2646dc8398
Further updates to whitepaper
2023-12-08 00:13:55 +05:30
Prabhpreet Dua
4295ec9d80
Whitepaper changes, and reflect in code
2023-12-07 23:59:40 +05:30
Prabhpreet Dua
7cb643b181
app_server move under load handling to function, cargo fmt
2023-12-07 22:53:17 +05:30
Prabhpreet Dua
109d624227
SID specific cookie storage
2023-12-07 20:19:57 +05:30
Prabhpreet Dua
b96d195f54
Avoid memory allocations ctd
2023-12-06 23:02:57 +05:30
Prabhpreet Dua
775b464496
Remove debug message
2023-12-06 22:32:35 +05:30
Prabhpreet Dua
e2cd25c184
Use retransmitted message instead of storing last sent mac
2023-12-06 21:59:52 +05:30
Prabhpreet Dua
fdcb488d4b
Move IP+Port into AppServer from protocol.rs
2023-12-06 21:28:21 +05:30
Prabhpreet Dua
a8a596ca7e
Remove debug messages
2023-12-06 05:40:34 +05:30
Prabhpreet Dua
9ced9996d2
Remove serial_test deps
2023-12-05 06:40:35 +05:30
Prabhpreet Dua
df683f96b2
Remove ignore from second test, init libsodium in that test too
2023-12-05 06:30:59 +05:30
Prabhpreet Dua
27a8bdbe7b
Init libsodium in failing test
2023-12-05 06:26:41 +05:30
Prabhpreet Dua
bdabae9c33
Remove ignore for one test
2023-12-05 06:20:01 +05:30
Prabhpreet Dua
4d7c030476
Ignore existing tests
2023-12-05 06:15:19 +05:30
Prabhpreet Dua
95f22e98ac
Try all tests running in serial for protocol
2023-12-05 06:08:59 +05:30
Prabhpreet Dua
b0dada7613
cargo fmt run
2023-12-05 06:00:11 +05:30
Prabhpreet Dua
e54ea1feaa
Add parallel test flag, and remove .orig files
2023-12-05 05:58:13 +05:30
Prabhpreet Dua
0fd09c908b
Merge branch 'main' into feat/cookie-mechanism
2023-12-03 21:06:14 +05:30
Prabhpreet Dua
36628a46d6
Serial test execution for cookie exchange
2023-12-03 20:54:26 +05:30
wucke13
184cff0e5e
Merge pull request #196 from rosenpass/dev/fix-65
...
fix: remove OSFONTDIR var from whitepaper build
2023-12-03 14:01:25 +01:00
wucke13
9819148b6f
fix: remove OSFONTDIR var from whitepaper build
...
Fixes #65 . I checked with `pdffonts` that the whitepaper still has all fonts embedded.
2023-12-03 13:27:47 +01:00
Prabhpreet Dua
2904c90d4b
Cargo fmt
2023-12-02 19:38:10 +05:30
Prabhpreet Dua
f0dbe2bb54
Merge branch 'main' into feat/cookie-mechanism
2023-12-02 19:36:04 +05:30
Morgan Hill
3a0ebd2cbc
feat: Add fuzzing for libsodium allocator
2023-12-02 14:14:05 +01:00
Karolin Varner
1eefb5f263
fix: Guaranteed results typo
2023-12-02 12:21:41 +01:00
Karolin Varner
d45e24e9b6
feat: Move lenses into library
2023-12-02 12:21:41 +01:00
Karolin Varner
972e82b35f
chore: Move kems out of rosenpass crate
2023-12-02 10:42:13 +01:00
Karolin Varner
101c9bf4b3
feat: Add an internal library for guaranteed results
...
This is helpful for functions that have to return a result to
implement some interface but that do not actually need to return
a result value.
2023-12-02 10:42:13 +01:00
Marei (peiTeX)
955d57ea49
fix output of authorlist to support unlimited authors
2023-12-01 20:25:58 +01:00
Karolin Varner
838f700a74
chore: Upgrade dependencies
2023-12-01 18:43:32 +01:00
Karolin Varner
5448cdc565
feat: Use the rand crate for random values instead of sodium
2023-12-01 18:37:33 +01:00
Karolin Varner
77cd8a9fd1
feat: Move prftree into ciphers crate
...
- Use a new nomenclature for these functions based on the idea of a hash
domain (as in domain separation); this makes much more sence
- Remove the ciphers::hash export; we did not even export a hash
function in the purest sence of the word. This gets us around the
difficulty of figuring out what we should call the underlying
primitive
2023-12-01 18:36:46 +01:00
Karolin Varner
0f89ab7976
chore: Shorten fuzzing runtime to make sure the CI finishes quickly
2023-12-01 18:30:16 +01:00
Karolin Varner
70fa9bd6d7
feat: Wrap sodium_malloc as a custom allocator
...
This lets us get rid of quite a few unsafe blocks.
2023-12-01 18:29:53 +01:00
Karolin Varner
85a61808de
feat: Use the zeroize crate for zeroization
2023-12-01 18:11:05 +01:00
Karolin Varner
cf132bca11
chore: Move rest of coloring.rs into secret-memory crate
...
Also removes the StoreSecret trait from cli.rs as it was
redundant.
2023-12-01 18:11:05 +01:00
Karolin Varner
7bda010a9b
chore: Move Public and debug_crypto_array into secret-memory crate
2023-12-01 18:11:05 +01:00
Olaf Pichler
36089fd37f
Added example for additional PSK
2023-12-01 15:44:42 +01:00
Olaf Pichler
31d43accd5
#172 removed exchange_command
2023-12-01 15:44:42 +01:00
Olaf Pichler
205c301012
Added indications that file paths are used
2023-12-01 15:44:42 +01:00