I agree that this site is using cookies. You can find further informations here.
X
Bolignano, D.
9  results:
Bookchapter (Online) X
Search for persons X
?
1

Lifting On-Demand Analysis to Higher-Order Languages:

, In: Static Analysis; Lecture Notes in Computer Science,
Schoepe, Daniel ; Seekatz, David ; Stoilkovska, Ilina... - p. 460-484 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Automatic Annotation of Confidential Data in Java Code:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,
Bastys, Iulia ; Bolignano, Pauline ; Raimondi, Franco. - p. 146-161 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Differential cost analysis with simultaneous potentials and..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Žikelić, Đorđe ; Chang, Bor-Yuh Evan ; Bolignano, Pauline. - p. 442-457 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Contributors:

, In: Emerging Technologies for Heart Diseases,
AbdelWahab, Amir ; Aras, Kedar K. ; Arora, Rishi... - p. xxiii-xxv , 2020
Link: https://doi.org/10.1016/..
 
?
5

Nonpharmacological therapies for uncontrolled hypertension:

, In: Emerging Technologies for Heart Diseases,
Bolignano, Davide - p. 1039-1064 , 2020
Link: https://doi.org/10.1016/..
 
?
6

Security Filters for IoT Domain Isolation:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Bolignano, Dominique ; Plateau, Florence - p. 194-211 , 2018
Link: https://doi.org/10.1007/..
 
?
7

List of Contributors:

, In: Principles of Gender-Specific Medicine,
Aiken, Catherine E.M. ; Allen, Nicholas B. ; Aryal, Shambhu... - p. xvii-xviii , 2017
Link: https://doi.org/10.1016/..
 
?
8

Gender at the Interface of Renal Aging:

, In: Principles of Gender-Specific Medicine,
Bolignano, Davide ; Pisano, Anna - p. 621-638 , 2017
Link: https://doi.org/10.1016/..
 
?
9

An approach to the formal verification of cryptographic pro..:

, In: Proceedings of the 3rd ACM conference on Computer and communications security,
Bolignano, Dominique - p. 106-118 , 1996
Link: https://dl.acm.org/doi/1..
 
1-9