research
∙
04/26/2023
A Security Verification Framework of Cryptographic Protocols Using Machine Learning
We propose a security verification framework for cryptographic protocols...
share
research
∙
10/04/2022
Fast Saturating Gate for Learning Long Time Scales with Recurrent Neural Networks
Gate functions in recurrent models, such as an LSTM and GRU, play a cent...
research
∙
11/05/2021
Recurrent Neural Networks for Learning Long-term Temporal Dependencies with Reanalysis of Time Scale Representation
Recurrent neural networks with a gating mechanism such as an LSTM or GRU...
research
∙
10/20/2021