[IEEE] TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security |
|
|
10
An Improved Voltage-Feedforward Control of Three-Phase LCL Grid-Connected Inverter in Weak Grid
10
Quantitative Linguistic Features for Depression Detection on Sina Weibo: How Far Can Interpretability Go?
10
An FR3 CMOS SOI Power Amplifier With Triple-Cascode Cores and an Efficiency--Load-Transformation Co-Optimized Output Network
