Fault-Tolerant Computing with Unreliable Channels (Extended Version)
Get full text
Paper
Journal Article
Vertical Atomic Broadcast and Passive Replication (Extended Version)
Bravo, Manuel, Chockler, Gregory, Gotsman, Alexey, Naser-Pastoriza, Alejandro, Roldán, Christian
Published in arXiv.org (16.08.2024)
Published in arXiv.org (16.08.2024)
Get full text
Paper
Journal Article
Analysis of role reachability with transitive tags
Kroening, Daniel, Cook, John Byron, Naser Pastoriza, Alejandro, Peebles, Daniel George, Rungta, Neha, Varming, Carsten
Year of Publication 09.07.2024
Get full text
Year of Publication 09.07.2024
Patent
Analysis of role reachability with transitive tags
Carsten Varming, Daniel Kroening, Daniel George Peebles, Alejandro Naser Pastoriza, Neha Rungta, John Byron Cook
Year of Publication 18.10.2023
Get full text
Year of Publication 18.10.2023
Patent
Analysis of role reachability using policy complements
Kroening, Daniel, Cook, John Byron, Naser Pastoriza, Alejandro, Peebles, Daniel George, Rungta, Neha, Varming, Carsten
Year of Publication 12.09.2023
Get full text
Year of Publication 12.09.2023
Patent
ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS
COOK, John Byron, KROENING, Daniel, VARMING, Carsten, PEEBLES, Daniel George, RUNGTA, Neha, PASTORIZA, Alejandro Naser
Year of Publication 16.06.2022
Get full text
Year of Publication 16.06.2022
Patent
ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS
Kroening, Daniel, Cook, John Byron, Naser Pastoriza, Alejandro, Peebles, Daniel George, Rungta, Neha, Varming, Carsten
Year of Publication 16.06.2022
Get full text
Year of Publication 16.06.2022
Patent
ANALYSIS OF ROLE REACHABILITY USING POLICY COMPLEMENTS
Kroening, Daniel, Cook, John Byron, Naser Pastoriza, Alejandro, Peebles, Daniel George, Rungta, Neha, Varming, Carsten
Year of Publication 16.06.2022
Get full text
Year of Publication 16.06.2022
Patent
ANALYSE DER ROLLENERREICHBARKEIT MIT TRANSITIVEN TAGS
Kroening, Daniel, Cook, John Byron, Naser Pastoriza, Alejandro, Peebles, Daniel George, Rungta, Neha, Varming, Carsten
Year of Publication 10.08.2023
Get full text
Year of Publication 10.08.2023
Patent