ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

202 Publications

Search / Filter

2023 | Published | Conference Paper | IST-REx-ID: 14692 |

Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:10.1007/978-3-031-48621-0_11.

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14693 |

Hoffmann, Charlotte, et al. “(Verifiable) Delay Functions from Lucas Sequences.” 21st International Conference on Theory of Cryptography, vol. 14372, Springer Nature, 2023, pp. 336–62, doi:10.1007/978-3-031-48624-1_13.

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Published | Conference Paper | IST-REx-ID: 14744

Avarikioti, Zeta, et al. “Divide & Scale: Formalization and Roadmap to Robust Sharding.” 30th International Colloquium on Structural Information and Communication Complexity, vol. 13892, Springer Nature, 2023, pp. 199–245, doi:10.1007/978-3-031-32733-9_10.

View | DOI

2023 | Published | Conference Paper | IST-REx-ID: 18218 |

Nemcovsky, Yaniv, et al. “Physical Passive Patch Adversarial Attacks on Visual Odometry Systems.” 16th Asian Conference on Computer Vision, vol. 13847, Springer Nature, 2023, pp. 518–34, doi:10.1007/978-3-031-26293-7_31.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 13310 |

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.

[Published Version] View | Files available | DOI | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 14454 |

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 12467 |

Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.

[Published Version] View | Files available | DOI | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 12854 |

Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14758 |

Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 12856 |

Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14318 |

Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14736

Bastankhah, Mahsa, et al. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:10.1007/978-3-031-47754-6_18.

View | DOI

2023 | Published | Conference Paper | IST-REx-ID: 13142 |

Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14559 |

Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” 21st International Symposium on Automated Technology for Verification and Analysis, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:10.1007/978-3-031-45329-8_17.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 14317 |

Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14411 |

Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” 21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.

[Submitted Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14829 |

Cohen, Shir, et al. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.” 27th International Conference on Financial Cryptography and Data Security, vol. 13951, Springer Nature, 2023, pp. 36–53, doi:10.1007/978-3-031-47751-5_3.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2023 | Published | Conference Paper | IST-REx-ID: 13236 |

Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 14457 |

Hoffmann, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.” 8th International Conference on Cryptology and Information Security in Latin America, vol. 14168, Springer Nature, 2023, pp. 215–28, doi:10.1007/978-3-031-44469-2_11.

[Preprint] View | DOI | Download Preprint (ext.)

2022 | Published | Book (Editor) | IST-REx-ID: 11429

Karimipour, Farid, and Sabine Storandt, editors. Web and Wireless Geographical Information Systems. 1st ed., vol. 13238, Springer Nature, 2022, doi:10.1007/978-3-031-06245-2.

View | DOI