Verifying Quantized Neural Networks using SMT-Based Model Checking. (arXiv:2106.05997v2 [cs.LG] UPDATED)
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis.…
Adversarial Attacks Against Deep Reinforcement Learning Framework in Internet of Vehicles. (arXiv:2108.00833v2 [cs.LG] UPDATED)
Machine learning (ML) has made incredible impacts and transformations in a wide range of vehicular applications. As the use of…
Realtime Robust Malicious Traffic Detection via Frequency Domain Analysis. (arXiv:2106.14707v3 [cs.CR] UPDATED)
Machine learning (ML) based malicious traffic detection is an emerging security paradigm, particularly for zero-day attack detection, which is complementary…
Realtime Robust Malicious Traffic Detection via Frequency Domain Analysis. (arXiv:2106.14707v3 [cs.CR] UPDATED)
Machine learning (ML) based malicious traffic detection is an emerging security paradigm, particularly for zero-day attack detection, which is complementary…
A Note on the Permuted Puzzles Toy Conjecture. (arXiv:2108.07885v2 [cs.CR] UPDATED)
In this note, we show that a “Toy Conjecture” made by (Boyle, Ishai, Pass, Wootters, 2017) is false, and propose…
Adversarial Attacks Against Deep Reinforcement Learning Framework in Internet of Vehicles. (arXiv:2108.00833v2 [cs.LG] UPDATED)
Machine learning (ML) has made incredible impacts and transformations in a wide range of vehicular applications. As the use of…
Adversarial Attacks Against Deep Reinforcement Learning Framework in Internet of Vehicles. (arXiv:2108.00833v2 [cs.LG] UPDATED)
Machine learning (ML) has made incredible impacts and transformations in a wide range of vehicular applications. As the use of…
A Note on the Permuted Puzzles Toy Conjecture. (arXiv:2108.07885v2 [cs.CR] UPDATED)
In this note, we show that a “Toy Conjecture” made by (Boyle, Ishai, Pass, Wootters, 2017) is false, and propose…
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). (arXiv:2109.02899v4 [cs.CR] UPDATED)
Blockchains are gaining momentum due to the interest of industries and people in emph{decentralized applications} (Dapps), particularly in those for…
Anonymous Leaked a Bunch of Data From a Right-Wing Web Host
The hacktivist collective targeted the domain registrar Epik for providing services to clients including the Texas GOP, Parler, and 8chan.