MilanKral

TURN protocol leaks username

9

Current mobile networks with NAT many times require use of TURN servers. Most TURN server authenticate users using username and password. Because aTalk only supports UDP protocol for TURN it...

SHA245, SHA512 rounds are too low

1

The default number of SHA245, SHA512 iterations is 5000. #define ROUNDS_DEFAULT 5000 This is too low to be considered secure again even moderate GPU, ASIC attacks. Please increase the default...

Layout processing - same column ; Haskell vs Idris

2

# Steps to Reproduce The following code is accepted in Idris2 ```haskell t : Int t = let z = 1000 in 1 ``` but the following code is not...

Case splitting - not covering

2

The following code typechecks ```idris fnc : (a : Nat) -> (b : Nat) -> (a > b) = True -> Type fnc 0 0 prf = ?fnc_rhs_2 fnc 0...