Stanislław Jarecki is an author at IBM (United States) specializing in formal verification, data privacy, and data security.
Top concepts
TechnologyEngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsData ManagementComputer ScienceFormal Verification
Publications per year
1997–1997
1
1
Proactive public key and signature systems
Amir Herzberg, Markus Jakobsson, Stanislław Jarecki et al. · 1997 · 250 citations
Rows per page
1–1 of 1