activity
20072017
most citedConstructing an orthonormal set of eigenvectors for DFT matrix using Gramians and determinants

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2011

Applying static code analysis to firewall policies for the purpose of anomaly detection

Vadim Zaliva

Treating modern firewall policy languages as imperative, special purpose programming languages, in this article we will try to apply static code analysis techniques for the purpose…