Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Leni Aniva
Observed names:
Aniva, Leni,
Aniva, Leni V.
Institution:
Stanford University
Observed institutions:
University of Waterloo,
Stanford University
ORCID:
0000-0002-6033-9140
Observed ORCID:
0000-0002-6033-9140
OpenAlex ID:
A5084174851
A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web
2021
·
Iman Akbari
, Mohammad A. Salahuddin
, et al.
·
Proceedings of the ACM on Measurement and Analysis of Computing Systems
·
72
Traffic classification in an increasingly encrypted web
2022
·
Iman Akbari
, Mohammad A. Salahuddin
, et al.
·
Communications of the ACM
·
32
A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web
2021
·
Iman Akbari
, Mohammad A. Salahuddin
, et al.
·
ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS)
·
17
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
2024
·
Hanna Lachnitt
, Mathias Fleury
, et al.
·
Lecture notes in computer science
·
7
PDF
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference
2023
·
Jianlin Li
, Leni Aniva
, et al.
·
Proceedings of the ACM on Programming Languages
·
7
PDF
A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web
2021
·
Iman Akbari
, Mohammad A. Salahuddin
, et al.
·
ACM SIGMETRICS Performance Evaluation Review
·
4
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
2025
·
Leni Aniva
, Chuyue Sun
, et al.
·
Lecture notes in computer science
·
2
PDF
Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
2026
·
Leni Aniva
, Claire Wang
·
International Workshop on Functional Art, Music, Modelling and Design
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4
2026
·
Aniva, Leni
, Oikawa, Iori
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4
2026
·
Aniva, Leni
, Oikawa, Iori
, et al.
·
arXiv (Cornell University)
PDF
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
2024
·
Aniva, Leni
, Sun, Chuyue
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
14
Citation count:
142
H-index:
5
I10-index:
3
Year
Topic
Type
