Posts
Guide on SMT/MILP based linear and differential analysis
I have come up with a new lightweight ARX based cipher and want to perform linear and differential analysis based on SMT or MILP tool. Please guide me how and what to do.
What happens if an elliptic curve over large characteristics has a negative trace?
Of course, this means having an order larger than the underlying finite s field order s. Are there any security implication? What s the name of such curves?
WhisperPair - Hijacking Bluetooth Accessories Using Google Fast Pair
Let’s talk about Layer One X and X_wallet (0day Vulnerability Disclosure)
The State of OpenSSL for pyca/cryptography
Do non anomalous curves expressed over a local p adic field have embedding degrees?
I m talking about curves that aren t anomalous. Is it possible to perform the Weil pairing in such a case? If yes does the notion of embeding degree exists or it s impossible to have a pairing that preserve bilinearity?
ASCON-128 RTL(pure verilog)failing NIST test vectors
Anyone here implemented ASCON-128 in RTL? My Verilog implementation fails the official NIST test vectors. I’ve tried bitsliced and non-bitsliced, and even checked multiple GitHub RTL repos, but none seem to pass the vectors as-is. I’ve already checked: endianness padding / domain separation round constants & permutation order Outputs are …
Does the discrete logarithm problem can be transfered to a p-adic/local field from a large finite field? (Not asking how but if it would be helpfull)
I built a system where a PNG image is XOR'ed into 3 layers of noise. The layers are reused across multiple images. What does any blob 'contain'?
Interactive SHA-256 visualizer
For years I kept seeing SHA-256 everywhere, in bitcoin, TLS, Git, proofs, ... but every explanation either skipped the details or showed the same diagram that hides the actual work. Most resources explain hashing as: > Which is fine for beginners, but it leaves out the interesting part: how the …