Hooman Asadian

[Bug]: DTLS Message Sequence Number Equality Non-conformance

2

### Version 5.3.0 ### Description **Configure Options** > ./configure --disable-asm --enable-singlethreaded --enable-dtls --enable-dtls-mtu --enable-psk --disable-extended-master --prefix=$(pwd)/build --enable-static --enable-opensslextra --enable-debug **Expected behavior** The DTLS 1.2 RFC ([Errata ID 5186](https://www.rfc-editor.org/errata/eid5186)) specifies two...

KLEE Crashing on Bitcode While Executing Initial LLVM Passes

1

### KLEE Version ``` KLEE 3.0 (https://klee.github.io) Build mode: RelWithDebInfo (Asserts: ON) Build revision: dfa53ed4f5711ee2d378abb267bff1da8623f7e7 LLVM (http://llvm.org/): LLVM version 12.0.0 Optimized build. Default target: x86_64-pc-linux-gnu Host CPU: ivybridge ``` ###...

[Bug]: DTLS Anti-Replay Mechanism Corner Cases

4

### Version v5.6.3-stable ### Configuration: `./configure --disable-asm --enable-singlethreaded --enable-dtls --enable-dtls-mtu --enable-psk-one-id --enable-psk --enable-static --disable-extended-master --enable-opensslextra --enable-tlsv10 --enable-debug --enable-nullcipher --enable-all-crypto` ### Expected Behavior 1 The [DTLS 1.2 RFC](https://www.rfc-editor.org/rfc/rfc6347.html#page-13) specifies the following...