Lev Greenberg

Orcid: 0000-0002-1981-9775

According to our database1, Lev Greenberg authored at least 15 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data.
Proc. Priv. Enhancing Technol., January, 2023

2022
A Methodology for Training Homomorphic Encryption Friendly Neural Networks.
Proceedings of the Applied Cryptography and Network Security Workshops, 2022

2021
Fighting COVID-19 in the Dark: Methodology for Improved Inference Using Homomorphically Encrypted DNN.
CoRR, 2021

2020
Tile Tensors: A versatile data structure with descriptive shapes for homomorphic encryption.
CoRR, 2020

A Cloud-Based Anomaly Detection for IoT Big Data.
Proceedings of the Cyber-Physical Security for Critical Infrastructures Protection, 2020

2017
Big data analysis of cloud storage logs using spark.
Proceedings of the 10th ACM International Systems and Storage Conference, 2017

2015
Requirements for hybrid cosimulation standards.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

System simulation from operational data.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Using a High-Level Test Generation Expert System for Testing In-Car Networks.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013
Pluggable Analysis Viewpoints for Design Space Exploration.
Proceedings of the Conference on Systems Engineering Research, 2013

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Determinate composition of FMUs for co-simulation.
Proceedings of the International Conference on Embedded Software, 2013

2012
Algorithms for Finding Maximum Diversity of Design Variables in Multi-Objective Optimization.
Proceedings of the Conference on Systems Engineering Research, 2012

Approximate Reliability Algebra for Architecture Optimization.
Proceedings of the Computer Safety, Reliability, and Security, 2012

A New Test-Generation Methodology for System-Level Verification of Production Processes.
Proceedings of the Hardware and Software: Verification and Testing, 2012


  Loading...