Concepedia

F.B. Schneider

FS

20

Publications

1.6K

Citations

17

H-Index

1987

Active since

Affiliations

Cornell University(Current)

Microsoft (United States)

UiT The Arctic University of Norway

F.B. Schneider is an author at Cornell University specializing in computer science, engineering, and information security.

Top concepts

EngineeringComputer ScienceInformation SecurityData SecurityFormal VerificationSystems EngineeringCryptographySoftware AnalysisData PrivacyVerification

Publications per year

1987–2024

20

Publications

20

IRM enforcement of Java stack inspection

Úlfar Erlingsson, F.B. Schneider · 2002 · 293 citations

Software Maintenance, Engineering, Inspection +23

Hypervisor-based fault tolerance

Thomas Bressoud, F.B. Schneider · 1995 · 215 citations · Full text

Operating system support for mobile agents

Dag Johansen, Robbert van Renesse, F.B. Schneider · 2002 · 184 citations

Engineering, Electronic Cash, Software Engineering +19

COCA: a secure distributed online certification authority

Lidong Zhou, F.B. Schneider, R. van Renesse · 2004 · 163 citations

Engineering, Information Security, Verification +19

SASI enforcement of security policies: a retrospective

Úlfar Erlingsson, F.B. Schneider · 2002 · 152 citations

Engineering, Information Security, Software Analysis +20

Rows per page

1–5 of 20