Follow
Tim Stevens
Tim Stevens
Verified email at uvm.edu
Title
Cited by
Cited by
Year
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
JP Near, D Darais, C Abuah, T Stevens, P Gaddamadugu, L Wang, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
422019
Efficient differentially private secure aggregation for federated learning via hardness of learning with errors
T Stevens, C Skalka, C Vincent, J Ring, S Clark, J Near
31st USENIX Security Symposium (USENIX Security 22), 1379-1395, 2022
292022
John Ring, Samuel Clark, and Joseph Near. Efficient differentially private secure aggregation for federated learning via hardness of learning with errors
T Stevens, C Skalka, C Vincent
31st USENIX Security Symposium (USENIX Security 22), 1379-1395, 2022
152022
John Ring, Samuel Clark, and Joseph Near. 2022. Efficient differentially private secure aggregation for federated learning via hardness of learning with errors
T Stevens, C Skalka, C Vincent
USENIX Security, 1379-1395, 2022
112022
Backpropagation clipping for deep learning with differential privacy
T Stevens, IC Ngong, D Darais, C Hirsch, D Slater, JP Near
arXiv preprint arXiv:2202.05089, 2022
62022
A cyber-physical system for near real-time monitoring of at-home orthopedic rehabilitation and mobile–based provider-patient communications to improve adherence: development …
T Stevens, RS McGinnis, B Hewgill, RH Choquette, TW Tourville, ...
JMIR human factors 7 (2), e16605, 2020
52020
Secret Sharing Sharing For Highly Scalable Secure Aggregation
T Stevens, J Near, C Skalka
arXiv preprint arXiv:2201.00864, 2022
2022
Secure and Private Federated Learning at Large Scale
T Stevens
The University of Vermont and State Agricultural College, 2022
2022
Rehab Tracker: Framework for Monitoring and Enhancing NMES Patient Compliance
T Stevens
The University of Vermont and State Agricultural College, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–9