---
_id: '14926'
author:
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
citation:
ama: Hauschild R. Matlab script for analysis of clone dispersal. 2024. doi:10.15479/AT:ISTA:14926
apa: Hauschild, R. (2024). Matlab script for analysis of clone dispersal. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14926
chicago: Hauschild, Robert. “Matlab Script for Analysis of Clone Dispersal.” Institute
of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:14926.
ieee: R. Hauschild, “Matlab script for analysis of clone dispersal.” Institute of
Science and Technology Austria, 2024.
ista: Hauschild R. 2024. Matlab script for analysis of clone dispersal, Institute
of Science and Technology Austria, 10.15479/AT:ISTA:14926.
mla: Hauschild, Robert. Matlab Script for Analysis of Clone Dispersal. Institute
of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:14926.
short: R. Hauschild, (2024).
corr_author: '1'
date_created: 2024-02-02T14:42:26Z
date_published: 2024-02-02T00:00:00Z
date_updated: 2026-08-12T10:00:13Z
day: '02'
ddc:
- '570'
department:
- _id: Bio
doi: 10.15479/AT:ISTA:14926
file:
- access_level: open_access
checksum: df7f358ae19a176cf710c0a802ce31b1
content_type: application/octet-stream
creator: rhauschild
date_created: 2024-02-02T14:40:31Z
date_updated: 2024-02-02T14:40:31Z
file_id: '14927'
file_name: README.md
file_size: 736
relation: main_file
success: 1
- access_level: open_access
checksum: 10194cc11619eccd8f4b24472e465b7f
content_type: application/x-zip-compressed
creator: rhauschild
date_created: 2024-02-02T14:40:31Z
date_updated: 2024-02-02T14:40:31Z
file_id: '14928'
file_name: Supplementary_file_1.zip
file_size: 3543
relation: main_file
success: 1
file_date_updated: 2024-02-02T14:40:31Z
fulldoi: https://doi.org/10.15479/AT:ISTA:14926
has_accepted_license: '1'
license: https://opensource.org/licenses/MIT
month: '02'
oa: 1
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '15048'
relation: used_in_publication
status: public
status: public
title: Matlab script for analysis of clone dispersal
tmp:
legal_code_url: https://opensource.org/licenses/MIT
name: The MIT License
short: MIT
type: software
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22234'
abstract:
- lang: eng
text: Lists of nontrivial integral points on some (families of) cubic surfaces.
(2024-07-18)
article_processing_charge: No
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Andrew
full_name: Sutherland, Andrew
last_name: Sutherland
citation:
ama: 'Browning TD, Sutherland A. Data and code for: Integral points on cubic surfaces:
heuristics and numerics. 2024. doi:10.25625/4FLFH8'
apa: 'Browning, T. D., & Sutherland, A. (2024). Data and code for: Integral
points on cubic surfaces: heuristics and numerics. Göttingen Research Online Data.
https://doi.org/10.25625/4FLFH8'
chicago: 'Browning, Timothy D, and Andrew Sutherland. “Data and Code for: Integral
Points on Cubic Surfaces: Heuristics and Numerics.” Göttingen Research Online
Data, 2024. https://doi.org/10.25625/4FLFH8.'
ieee: 'T. D. Browning and A. Sutherland, “Data and code for: Integral points on
cubic surfaces: heuristics and numerics.” Göttingen Research Online Data, 2024.'
ista: 'Browning TD, Sutherland A. 2024. Data and code for: Integral points on cubic
surfaces: heuristics and numerics, Göttingen Research Online Data, 10.25625/4FLFH8.'
mla: 'Browning, Timothy D., and Andrew Sutherland. Data and Code for: Integral
Points on Cubic Surfaces: Heuristics and Numerics. Göttingen Research Online
Data, 2024, doi:10.25625/4FLFH8.'
short: T.D. Browning, A. Sutherland, (2024).
contributor:
- first_name: Florian Alexander
id: 560601DA-8D36-11E9-A136-7AC1E5697425
last_name: Wilsch
orcid: 0000-0001-7302-8256
corr_author: '1'
date_created: 2026-07-02T10:38:53Z
date_published: 2024-07-22T00:00:00Z
date_updated: 2026-08-12T12:15:33Z
day: '22'
ddc:
- '500'
department:
- _id: TiBr
doi: 10.25625/4FLFH8
fulldoi: https://doi.org/10.25625/4FLFH8
has_accepted_license: '1'
main_file_link:
- open_access: '1'
url: https://doi.org/10.25625/4FLFH8
month: '07'
oa: 1
oa_version: Published Version
publisher: Göttingen Research Online Data
related_material:
record:
- id: '20249'
relation: used_in_publication
status: public
status: public
title: 'Data and code for: Integral points on cubic surfaces: heuristics and numerics'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '19063'
abstract:
- lang: eng
text: "Instruction-tuned Large Language Models (LLMs) show impressive results in
numerous practical applications, but they lack essential safety features that
are common in other areas of computer science, particularly an explicit separation
of instructions and data. This makes them vulnerable to manipulations such as
indirect prompt injections and generally unsuitable for safety-critical tasks.
Surprisingly, there is currently no established definition or benchmark to quantify
this phenomenon. In this work, we close this gap by introducing a formal measure
for instruction-data separation and an empirical variant that is calculable from
a model's outputs. We also present a new dataset, SEP, that allows estimating
the measure for real-world models. Our results on various LLMs show that the problem
of instruction-data separation is real: all models fail to achieve high separation,
and canonical mitigation techniques, such as prompt engineering and fine-tuning,
either fail to substantially improve separation or reduce model utility. The source
code and SEP dataset are openly accessible at https://github.com/egozverev/Shold-It-Be-Executed-Or-Processed.\r\n"
acknowledged_ssus:
- _id: ScienComp
acknowledgement: The authors would like to sincerely thank Juan Rocamonde for valuable
feedback to our manuscript. We acknowledge the support from the Scientific Service
Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp).
We thank Dan Alistarh for providing us with computational resources. This work was
partially funded by the German Federal Ministry of Education and Research (BMBF)
under the grant AIgenCY (16KIS2012) and ELSA – European Lighthouse on Secure and
Safe AI funded by the European Union under grant agreement No. 101070617. Views
and opinions expressed are however those of the authors only and do not necessarily
reflect those of the European Union or European Commission. Neither the European
Union nor the European Commission can be held responsible for them.
article_number: '2403.06833'
article_processing_charge: No
arxiv: 1
author:
- first_name: Egor
full_name: Zverev, Egor
id: 05162b19-1340-11ed-8f02-fa94e0e8c3bc
last_name: Zverev
- first_name: Sahar
full_name: Abdelnabi, Sahar
last_name: Abdelnabi
- first_name: Soroush
full_name: Tabesh, Soroush
id: 06000900-6068-11ef-8d61-c2472ef2e752
last_name: Tabesh
orcid: 0009-0003-4119-6281
- first_name: Mario
full_name: Fritz, Mario
last_name: Fritz
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: Zverev E, Abdelnabi S, Tabesh S, Fritz M, Lampert C. Can LLMs separate instructions
from data? And what do we even mean by that? arXiv. doi:10.48550/arXiv.2403.06833
apa: Zverev, E., Abdelnabi, S., Tabesh, S., Fritz, M., & Lampert, C. (n.d.).
Can LLMs separate instructions from data? And what do we even mean by that? arXiv.
https://doi.org/10.48550/arXiv.2403.06833
chicago: Zverev, Egor, Sahar Abdelnabi, Soroush Tabesh, Mario Fritz, and Christoph
Lampert. “Can LLMs Separate Instructions from Data? And What Do We Even Mean by
That?” ArXiv, n.d. https://doi.org/10.48550/arXiv.2403.06833.
ieee: E. Zverev, S. Abdelnabi, S. Tabesh, M. Fritz, and C. Lampert, “Can LLMs separate
instructions from data? And what do we even mean by that?,” arXiv. .
ista: Zverev E, Abdelnabi S, Tabesh S, Fritz M, Lampert C. Can LLMs separate instructions
from data? And what do we even mean by that? arXiv, 2403.06833.
mla: Zverev, Egor, et al. “Can LLMs Separate Instructions from Data? And What Do
We Even Mean by That?” ArXiv, 2403.06833, doi:10.48550/arXiv.2403.06833.
short: E. Zverev, S. Abdelnabi, S. Tabesh, M. Fritz, C. Lampert, ArXiv (n.d.).
corr_author: '1'
date_created: 2025-02-20T10:13:42Z
date_published: 2024-03-01T00:00:00Z
date_updated: 2026-08-13T07:26:54Z
day: '01'
ddc:
- '000'
department:
- _id: GradSch
- _id: ChLa
doi: 10.48550/arXiv.2403.06833
external_id:
arxiv:
- '2403.06833'
file:
- access_level: open_access
checksum: 35eb43968684b87be59144603ef10af0
content_type: application/pdf
creator: ezverev
date_created: 2025-02-20T10:11:45Z
date_updated: 2025-02-20T10:11:45Z
file_id: '19064'
file_name: 2403.06833v3.pdf
file_size: 530972
relation: main_file
success: 1
file_date_updated: 2025-02-20T10:11:45Z
fulldoi: https://doi.org/10.48550/arXiv.2403.06833
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
related_material:
link:
- relation: software
url: ' https://github.com/egozverev/Shold-It-Be-Executed-Or-Processed'
status: public
title: Can LLMs separate instructions from data? And what do we even mean by that?
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...
---
OA_place: publisher
_id: '15094'
abstract:
- lang: eng
text: "Point sets, geometric networks, and arrangements of hyperplanes are fundamental
objects in\r\ndiscrete geometry that have captivated mathematicians for centuries,
if not millennia. This\r\nthesis seeks to cast new light on these structures by
illustrating specific instances where a\r\ntopological perspective, specifically
through discrete Morse theory and persistent homology,\r\nprovides valuable insights.\r\n\r\nAt
first glance, the topology of these geometric objects might seem uneventful: point
sets\r\nessentially lack of topology, arrangements of hyperplanes are a decomposition
of Rd, which\r\nis a contractible space, and the topology of a network primarily
involves the enumeration\r\nof connected components and cycles within the network.
However, beneath this apparent\r\nsimplicity, there lies an array of intriguing
structures, a small subset of which will be uncovered\r\nin this thesis.\r\n\r\nFocused
on three case studies, each addressing one of the mentioned objects, this work\r\nwill
showcase connections that intertwine topology with diverse fields such as combinatorial\r\ngeometry,
algorithms and data structures, and emerging applications like spatial biology.\r\n\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sebastiano
full_name: Cultrera di Montesano, Sebastiano
id: 34D2A09C-F248-11E8-B48F-1D18A9856A87
last_name: Cultrera di Montesano
orcid: 0000-0001-6249-0832
citation:
ama: Cultrera di Montesano S. Persistence and Morse theory for discrete geometric
structures. 2024. doi:10.15479/at:ista:15094
apa: Cultrera di Montesano, S. (2024). Persistence and Morse theory for discrete
geometric structures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15094
chicago: Cultrera di Montesano, Sebastiano. “Persistence and Morse Theory for Discrete
Geometric Structures.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15094.
ieee: S. Cultrera di Montesano, “Persistence and Morse theory for discrete geometric
structures,” Institute of Science and Technology Austria, 2024.
ista: Cultrera di Montesano S. 2024. Persistence and Morse theory for discrete geometric
structures. Institute of Science and Technology Austria.
mla: Cultrera di Montesano, Sebastiano. Persistence and Morse Theory for Discrete
Geometric Structures. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15094.
short: S. Cultrera di Montesano, Persistence and Morse Theory for Discrete Geometric
Structures, Institute of Science and Technology Austria, 2024.
corr_author: '1'
date_created: 2024-03-08T15:28:10Z
date_published: 2024-03-08T00:00:00Z
date_updated: 2026-08-13T09:41:57Z
day: '08'
ddc:
- '514'
- '500'
- '516'
degree_awarded: PhD
department:
- _id: GradSch
- _id: HeEd
doi: 10.15479/at:ista:15094
ec_funded: 1
file:
- access_level: open_access
checksum: 1e468bfa42a7dcf04d89f4dadc621c87
content_type: application/pdf
creator: scultrer
date_created: 2024-03-14T08:55:07Z
date_updated: 2024-03-14T08:55:07Z
file_id: '15112'
file_name: Thesis Sebastiano.pdf
file_size: 4106872
relation: main_file
success: 1
- access_level: closed
checksum: bcbd213490f5a7e68855a092bbce93f1
content_type: application/zip
creator: scultrer
date_created: 2024-03-14T08:56:24Z
date_updated: 2024-03-14T14:14:35Z
file_id: '15113'
file_name: Thesis (1).zip
file_size: 4746234
relation: source_file
file_date_updated: 2024-03-14T14:14:35Z
fulldoi: https://doi.org/10.15479/at:ista:15094
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '108'
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 268116B8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00342
name: Mathematics, Computer Science
- _id: 0aa4bc98-070f-11eb-9043-e6fff9c6a316
grant_number: I4887
name: Persistent Homology, Algorithms and Stochastic Geometry
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '15091'
relation: part_of_dissertation
status: public
- id: '15090'
relation: part_of_dissertation
status: public
- id: '15093'
relation: part_of_dissertation
status: public
- id: '13182'
relation: part_of_dissertation
status: public
- id: '11658'
relation: part_of_dissertation
status: public
- id: '11660'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
title: Persistence and Morse theory for discrete geometric structures
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2024'
...
---
OA_place: publisher
OA_type: hybrid
_id: '13182'
abstract:
- lang: eng
text: "We characterize critical points of 1-dimensional maps paired in persistent
homology\r\ngeometrically and this way get elementary proofs of theorems about
the symmetry\r\nof persistence diagrams and the variation of such maps. In particular,
we identify\r\nbranching points and endpoints of networks as the sole source of
asymmetry and\r\nrelate the cycle basis in persistent homology with a version
of the stable marriage\r\nproblem. Our analysis provides the foundations of fast
algorithms for maintaining a\r\ncollection of sorted lists together with its persistence
diagram."
acknowledgement: Open access funding provided by Austrian Science Fund (FWF). This
project has received funding from the European Research Council (ERC) under the
European Union’s Horizon 2020 research and innovation programme, grant no. 788183,
from the Wittgenstein Prize, Austrian Science Fund (FWF), Grant No. Z 342-N31, and
from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry
and Dynamics’, Austrian Science Fund (FWF), Grant No. I 02979-N35. The authors of
this paper thank anonymous reviewers for their constructive criticism and Monika
Henzinger for detailed comments on an earlier version of this paper.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Ranita
full_name: Biswas, Ranita
id: 3C2B033E-F248-11E8-B48F-1D18A9856A87
last_name: Biswas
orcid: 0000-0002-5372-7890
- first_name: Sebastiano
full_name: Cultrera Di Montesano, Sebastiano
id: 34D2A09C-F248-11E8-B48F-1D18A9856A87
last_name: Cultrera Di Montesano
orcid: 0000-0001-6249-0832
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Morteza
full_name: Saghafian, Morteza
id: f86f7148-b140-11ec-9577-95435b8df824
last_name: Saghafian
citation:
ama: Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization
of the persistence of 1D maps. Journal of Applied and Computational Topology.
2024;8:1101-1119. doi:10.1007/s41468-023-00126-9
apa: Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M.
(2024). Geometric characterization of the persistence of 1D maps. Journal of
Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-023-00126-9
chicago: Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner,
and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.”
Journal of Applied and Computational Topology. Springer Nature, 2024. https://doi.org/10.1007/s41468-023-00126-9.
ieee: R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric
characterization of the persistence of 1D maps,” Journal of Applied and Computational
Topology, vol. 8. Springer Nature, pp. 1101–1119, 2024.
ista: Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2024. Geometric
characterization of the persistence of 1D maps. Journal of Applied and Computational
Topology. 8, 1101–1119.
mla: Biswas, Ranita, et al. “Geometric Characterization of the Persistence of 1D
Maps.” Journal of Applied and Computational Topology, vol. 8, Springer
Nature, 2024, pp. 1101–19, doi:10.1007/s41468-023-00126-9.
short: R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal
of Applied and Computational Topology 8 (2024) 1101–1119.
corr_author: '1'
date_created: 2023-07-02T22:00:44Z
date_published: 2024-10-01T00:00:00Z
date_updated: 2026-08-13T09:41:57Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1007/s41468-023-00126-9
ec_funded: 1
external_id:
pmid:
- '39678706'
file:
- access_level: open_access
checksum: d493df5088c222b88d9ca46b623ad0ee
content_type: application/pdf
creator: dernst
date_created: 2025-01-09T07:39:41Z
date_updated: 2025-01-09T07:39:41Z
file_id: '18783'
file_name: 2024_JourApplCompTopo_Biswas.pdf
file_size: 476896
relation: main_file
success: 1
file_date_updated: 2025-01-09T07:39:41Z
fulldoi: https://doi.org/10.1007/s41468-023-00126-9
has_accepted_license: '1'
intvolume: ' 8'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 1101-1119
pmid: 1
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 0aa4bc98-070f-11eb-9043-e6fff9c6a316
grant_number: I4887
name: Persistent Homology, Algorithms and Stochastic Geometry
- _id: 268116B8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00342
name: Mathematics, Computer Science
publication: Journal of Applied and Computational Topology
publication_identifier:
eissn:
- 2367-1734
issn:
- 2367-1726
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '15094'
relation: dissertation_contains
status: public
- id: '11660'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Geometric characterization of the persistence of 1D maps
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2024'
...
---
_id: '14826'
abstract:
- lang: eng
text: The plant-signaling molecule auxin triggers fast and slow cellular responses
across land plants and algae. The nuclear auxin pathway mediates gene expression
and controls growth and development in land plants, but this pathway is absent
from algal sister groups. Several components of rapid responses have been identified
in Arabidopsis, but it is unknown if these are part of a conserved mechanism.
We recently identified a fast, proteome-wide phosphorylation response to auxin.
Here, we show that this response occurs across 5 land plant and algal species
and converges on a core group of shared targets. We found conserved rapid physiological
responses to auxin in the same species and identified rapidly accelerated fibrosarcoma
(RAF)-like protein kinases as central mediators of auxin-triggered phosphorylation
across species. Genetic analysis connects this kinase to both auxin-triggered
protein phosphorylation and rapid cellular response, thus identifying an ancient
mechanism for fast auxin responses in the green lineage.
acknowledgement: 'We are grateful to Asuka Shitaku and Eri Koide for generating and
sharing the Marchantia PRAF-mCitrine line and Peng-Cheng Wang for sharing the Arabidopsis
raf mutant. We are grateful to our team members for discussions and helpful advice.
This work was supported by funding from the Netherlands Organization for Scientific
Research (NWO): VICI grant 865.14.001 and ENW-KLEIN OCENW.KLEIN.027 grants to D.W.;
VENI grant VI.VENI.212.003 to A.K.; the European Research Council AdG DIRNDL (contract
number 833867) to D.W.; CoG CATCH to J.S.; StG CELLONGATE (contract 803048) to M.F.;
and AdG ETAP (contract 742985) to J.F.; MEXT KAKENHI grant number JP19H05675 to
T.K.; JSPS KAKENHI grant number JP20H03275 to R.N.; Takeda Science Foundation to
R.N.; and the Austrian Science Fund (FWF, P29988) to J.F.'
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Andre
full_name: Kuhn, Andre
last_name: Kuhn
- first_name: Mark
full_name: Roosjen, Mark
last_name: Roosjen
- first_name: Sumanth
full_name: Mutte, Sumanth
last_name: Mutte
- first_name: Shiv Mani
full_name: Dubey, Shiv Mani
last_name: Dubey
- first_name: Vanessa Polet
full_name: Carrillo Carrasco, Vanessa Polet
last_name: Carrillo Carrasco
- first_name: Sjef
full_name: Boeren, Sjef
last_name: Boeren
- first_name: Aline
full_name: Monzer, Aline
id: 2DB5D88C-D7B3-11E9-B8FD-7907E6697425
last_name: Monzer
- first_name: Jasper
full_name: Koehorst, Jasper
last_name: Koehorst
- first_name: Takayuki
full_name: Kohchi, Takayuki
last_name: Kohchi
- first_name: Ryuichi
full_name: Nishihama, Ryuichi
last_name: Nishihama
- first_name: Matyas
full_name: Fendrych, Matyas
id: 43905548-F248-11E8-B48F-1D18A9856A87
last_name: Fendrych
orcid: 0000-0002-9767-8699
- first_name: Joris
full_name: Sprakel, Joris
last_name: Sprakel
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Dolf
full_name: Weijers, Dolf
last_name: Weijers
citation:
ama: Kuhn A, Roosjen M, Mutte S, et al. RAF-like protein kinases mediate a deeply
conserved, rapid auxin response. Cell. 2024;187(1):130-148.e17. doi:10.1016/j.cell.2023.11.021
apa: Kuhn, A., Roosjen, M., Mutte, S., Dubey, S. M., Carrillo Carrasco, V. P., Boeren,
S., … Weijers, D. (2024). RAF-like protein kinases mediate a deeply conserved,
rapid auxin response. Cell. Elsevier. https://doi.org/10.1016/j.cell.2023.11.021
chicago: Kuhn, Andre, Mark Roosjen, Sumanth Mutte, Shiv Mani Dubey, Vanessa Polet
Carrillo Carrasco, Sjef Boeren, Aline Monzer, et al. “RAF-like Protein Kinases
Mediate a Deeply Conserved, Rapid Auxin Response.” Cell. Elsevier, 2024.
https://doi.org/10.1016/j.cell.2023.11.021.
ieee: A. Kuhn et al., “RAF-like protein kinases mediate a deeply conserved,
rapid auxin response,” Cell, vol. 187, no. 1. Elsevier, p. 130–148.e17,
2024.
ista: Kuhn A, Roosjen M, Mutte S, Dubey SM, Carrillo Carrasco VP, Boeren S, Monzer
A, Koehorst J, Kohchi T, Nishihama R, Fendrych M, Sprakel J, Friml J, Weijers
D. 2024. RAF-like protein kinases mediate a deeply conserved, rapid auxin response.
Cell. 187(1), 130–148.e17.
mla: Kuhn, Andre, et al. “RAF-like Protein Kinases Mediate a Deeply Conserved, Rapid
Auxin Response.” Cell, vol. 187, no. 1, Elsevier, 2024, p. 130–148.e17,
doi:10.1016/j.cell.2023.11.021.
short: A. Kuhn, M. Roosjen, S. Mutte, S.M. Dubey, V.P. Carrillo Carrasco, S. Boeren,
A. Monzer, J. Koehorst, T. Kohchi, R. Nishihama, M. Fendrych, J. Sprakel, J. Friml,
D. Weijers, Cell 187 (2024) 130–148.e17.
date_created: 2024-01-17T12:45:40Z
date_published: 2024-01-04T00:00:00Z
date_updated: 2026-08-14T09:33:45Z
day: '04'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1016/j.cell.2023.11.021
ec_funded: 1
external_id:
isi:
- '001152705700001'
pmid:
- '38128538'
file:
- access_level: open_access
checksum: 06fd236a9ee0b46ccb05f44695bfc34b
content_type: application/pdf
creator: dernst
date_created: 2024-01-22T13:41:41Z
date_updated: 2024-01-22T13:41:41Z
file_id: '14874'
file_name: 2024_Cell_Kuhn.pdf
file_size: 13194060
relation: main_file
success: 1
file_date_updated: 2024-01-22T13:41:41Z
fulldoi: https://doi.org/10.1016/j.cell.2023.11.021
has_accepted_license: '1'
intvolume: ' 187'
isi: 1
issue: '1'
keyword:
- General Biochemistry
- Genetics and Molecular Biology
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 130-148.e17
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
- _id: 262EF96E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29988
name: RNA-directed DNA methylation in plant development
publication: Cell
publication_identifier:
eissn:
- 1097-4172
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
record:
- id: '19395'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: RAF-like protein kinases mediate a deeply conserved, rapid auxin response
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 187
year: '2024'
...
---
_id: '17373'
abstract:
- lang: eng
text: Scanning Kelvin probe microscopy (SKPM) is a powerful technique for investigating
the electrostatic properties of material surfaces, enabling the imaging of variations
in work function, topology, surface charge density, or combinations thereof. Regardless
of the underlying signal source, SKPM results in a voltage image, which is spatially
distorted due to the finite size of the probe, long-range electrostatic interactions,
mechanical and electrical noise, and the finite response time of the electronics.
In order to recover the underlying signal, it is necessary to deconvolve the measurement
with an appropriate point spread function (PSF) that accounts the aforementioned
distortions, but determining this PSF is difficult. Here, we describe how such
PSFs can be determined experimentally and show how they can be used to recover
the underlying information of interest. We first consider the physical principles
that enable SKPM and discuss how these affect the system PSF. We then show how
one can experimentally measure PSFs by looking at well-defined features, and that
these compare well to simulated PSFs, provided scans are performed extremely slowly
and carefully. Next, we work at realistic scan speeds and show that the idealized
PSFs fail to capture temporal distortions in the scan direction. While simulating
PSFs for these situations would be quite challenging, we show that measuring PSFs
with similar scan conditions works well. Our approach clarifies the basic principles
and inherent challenges to SKPM measurements and gives practical methods to improve
results.
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
- _id: LifeSc
- _id: ScienComp
acknowledgement: This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation program (Grant
Agreement No. 949120). This research was supported by the Scientific Service Units
of the Institute of Science and Technology Austria (ISTA) through resources provided
by the Miba Machine Shop, Nanofabrication Facility, Scientific Computing Facility,
and Lab Support Facility. The authors wish to thank Dmytro Rak and Juan Carlos Sobarzo
for letting us use their equipment. The authors wish to thank the contributions
of the whole Waitukaitis Group for useful discussions and feedback.
article_number: '045305'
article_processing_charge: No
article_type: original
author:
- first_name: Isaac C
full_name: Lenton, Isaac C
id: a550210f-223c-11ec-8182-e2d45e817efb
last_name: Lenton
orcid: 0000-0002-5010-6984
- first_name: Felix
full_name: Pertl, Felix
id: 6313aec0-15b2-11ec-abd3-ed67d16139af
last_name: Pertl
orcid: 0000-0003-0463-5794
- first_name: Lubuna B
full_name: Shafeek, Lubuna B
id: 3CD37A82-F248-11E8-B48F-1D18A9856A87
last_name: Shafeek
orcid: 0000-0001-7180-6050
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
citation:
ama: 'Lenton IC, Pertl F, Shafeek LB, Waitukaitis SR. Beyond the blur: Using experimentally
determined point spread functions to improve scanning Kelvin probe imaging. Journal
of Applied Physics. 2024;136(4). doi:10.1063/5.0215151'
apa: 'Lenton, I. C., Pertl, F., Shafeek, L. B., & Waitukaitis, S. R. (2024).
Beyond the blur: Using experimentally determined point spread functions to improve
scanning Kelvin probe imaging. Journal of Applied Physics. AIP Publishing.
https://doi.org/10.1063/5.0215151'
chicago: 'Lenton, Isaac C, Felix Pertl, Lubuna B Shafeek, and Scott R Waitukaitis.
“Beyond the Blur: Using Experimentally Determined Point Spread Functions to Improve
Scanning Kelvin Probe Imaging.” Journal of Applied Physics. AIP Publishing,
2024. https://doi.org/10.1063/5.0215151.'
ieee: 'I. C. Lenton, F. Pertl, L. B. Shafeek, and S. R. Waitukaitis, “Beyond the
blur: Using experimentally determined point spread functions to improve scanning
Kelvin probe imaging,” Journal of Applied Physics, vol. 136, no. 4. AIP
Publishing, 2024.'
ista: 'Lenton IC, Pertl F, Shafeek LB, Waitukaitis SR. 2024. Beyond the blur: Using
experimentally determined point spread functions to improve scanning Kelvin probe
imaging. Journal of Applied Physics. 136(4), 045305.'
mla: 'Lenton, Isaac C., et al. “Beyond the Blur: Using Experimentally Determined
Point Spread Functions to Improve Scanning Kelvin Probe Imaging.” Journal of
Applied Physics, vol. 136, no. 4, 045305, AIP Publishing, 2024, doi:10.1063/5.0215151.'
short: I.C. Lenton, F. Pertl, L.B. Shafeek, S.R. Waitukaitis, Journal of Applied
Physics 136 (2024).
corr_author: '1'
date_created: 2024-08-04T22:01:21Z
date_published: 2024-07-28T00:00:00Z
date_updated: 2026-08-27T11:42:44Z
day: '28'
ddc:
- '530'
department:
- _id: ScWa
- _id: NanoFab
doi: 10.1063/5.0215151
ec_funded: 1
external_id:
isi:
- '001281681100003'
file:
- access_level: open_access
checksum: 6141d05cd68d540a7446dce9490975db
content_type: application/pdf
creator: dernst
date_created: 2024-08-05T08:19:58Z
date_updated: 2024-08-05T08:19:58Z
file_id: '17386'
file_name: 2024_JourApplPhysics_Lenton.pdf
file_size: 2537502
relation: main_file
success: 1
file_date_updated: 2024-08-05T08:19:58Z
fulldoi: https://doi.org/10.1063/5.0215151
has_accepted_license: '1'
intvolume: ' 136'
isi: 1
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa
call_identifier: H2020
grant_number: '949120'
name: 'Tribocharge: a multi-scale approach to an enduring problem in physics'
publication: Journal of Applied Physics
publication_identifier:
eissn:
- 1089-7550
issn:
- 0021-8979
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
related_material:
record:
- id: '22684'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'Beyond the blur: Using experimentally determined point spread functions to
improve scanning Kelvin probe imaging'
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 136
year: '2024'
...
---
DOAJ_listed: '1'
_id: '17103'
abstract:
- lang: eng
text: Phytoalexin sakuranetin functions in resistance against rice blast. However,
the mechanisms underlying the effects of sakuranetin remains elusive. Here, we
report that rice lines expressing resistance (R) genes were found to contain high
levels of sakuranetin, which correlates with attenuated endocytic trafficking
of plasma membrane (PM) proteins. Exogenous and endogenous sakuranetin attenuates
the endocytosis of various PM proteins and the fungal effector PWL2. Moreover,
accumulation of the avirulence protein AvrCO39, resulting from uptake into rice
cells by Magnaporthe oryzae, was reduced following treatment with sakuranetin.
Pharmacological manipulation of clathrin-mediated endocytic (CME) suggests that
this pathway is targeted by sakuranetin. Indeed, attenuation of CME by sakuranetin
is sufficient to convey resistance against rice blast. Our data reveals a mechanism
of rice against M. oryzae by increasing sakuranetin levels and repressing the
CME of pathogen effectors, which is distinct from the action of many R genes that
mainly function by modulating transcription.
acknowledgement: We thank Professor Jianqiang Wu (Kunming Institute of Botany, Chinese
Academy of Sciences) for his generous support with the sakuranetin measurement.
We thank International Rice Research Institute (IRRI) for provision of the rice
NILs. We thank Professor Zhongkai Zhang (Yunnan Academy of Agricultural Sciences)
for his generous support with subcellular structure observation of rice roots. We
thank Professor Barbara Valent (Kansas State University) for her generously provision
of the plasmid containing the PWL2 gene. We thank Professor Zuhua He (Chinese Academy
of Sciences) for the gift of the transgenic rice line expressing the Pigm gene,
OsNPR1-RNAi mutant line and ROD1-overexpression rice line. We thank Professor Yinong
Yang (The Pennsylvania State University) for provision of the rice line NahG. We
thank Professor Muyuan Zhu (Zhejiang University) for provision of the transgenic
plants overexpressing miR393a. We thank Professor Zhengge Zhu (Hebei Normal University)
for provision of the rice line overexpressing OsPIN3t-GFP. We thank Professor Yanhua
Qi (Zhejiang University) for provision of the arf12 mutant line. Thanks also go
to Professor Jean-Benoit Morel (Plant Health Institute of Montpellier) for provision
of the fungus M. oryzae strain Guy11 (AvrCo39-mRFP). This work was supported by
grants from the National Natural Science Foundation of China (Grant Nos. 32260085,
31460453, 31660501, 31860064, 31760500 and 31901870), the Major Special Program
for Scientific Research, Education Department of Yunnan Province (Grant No. ZD2015005).
The project was also sponsored by SRF for ROCS, SEM (Grant No. [2013] 1792), the
Key Projects of Applied Basic Research Plan of Yunnan Province (Grant No. 2017FA018,
202301AS070082), the Major Science and Technology Project in Yunnan Province (202102AE090042,
202202AE090036 and 202102AE090017), the Young and Middle-Aged Academic and Technical
Leaders Reserve Talent Program in Yunnan Province (202205AC160076), the China Postdoctoral
Science Foundation (2019M653849XB) and the National Key Research and Development
Program of China (2023YFE0107500).
article_number: '3437'
article_processing_charge: Yes
article_type: original
author:
- first_name: Lihui
full_name: Jiang, Lihui
last_name: Jiang
- first_name: Xiaoyan
full_name: Zhang, Xiaoyan
last_name: Zhang
- first_name: Yiting
full_name: Zhao, Yiting
last_name: Zhao
- first_name: Haiyan
full_name: Zhu, Haiyan
last_name: Zhu
- first_name: Qijing
full_name: Fu, Qijing
last_name: Fu
- first_name: Xinqi
full_name: Lu, Xinqi
last_name: Lu
- first_name: Wuying
full_name: Huang, Wuying
last_name: Huang
- first_name: Xinyue
full_name: Yang, Xinyue
last_name: Yang
- first_name: Xuan
full_name: Zhou, Xuan
last_name: Zhou
- first_name: Lixia
full_name: Wu, Lixia
last_name: Wu
- first_name: Ao
full_name: Yang, Ao
last_name: Yang
- first_name: Xie
full_name: He, Xie
last_name: He
- first_name: Man
full_name: Dong, Man
last_name: Dong
- first_name: Ziai
full_name: Peng, Ziai
last_name: Peng
- first_name: Jing
full_name: Yang, Jing
last_name: Yang
- first_name: Liwei
full_name: Guo, Liwei
last_name: Guo
- first_name: Jiancheng
full_name: Wen, Jiancheng
last_name: Wen
- first_name: Huichuan
full_name: Huang, Huichuan
last_name: Huang
- first_name: Yong
full_name: Xie, Yong
last_name: Xie
- first_name: Shusheng
full_name: Zhu, Shusheng
last_name: Zhu
- first_name: Chengyun
full_name: Li, Chengyun
last_name: Li
- first_name: Xiahong
full_name: He, Xiahong
last_name: He
- first_name: Youyong
full_name: Zhu, Youyong
last_name: Zhu
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Yunlong
full_name: Du, Yunlong
last_name: Du
citation:
ama: Jiang L, Zhang X, Zhao Y, et al. Phytoalexin sakuranetin attenuates endocytosis
and enhances resistance to rice blast. Nature Communications. 2024;15.
doi:10.1038/s41467-024-47746-y
apa: Jiang, L., Zhang, X., Zhao, Y., Zhu, H., Fu, Q., Lu, X., … Du, Y. (2024). Phytoalexin
sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature
Communications. Springer Nature. https://doi.org/10.1038/s41467-024-47746-y
chicago: Jiang, Lihui, Xiaoyan Zhang, Yiting Zhao, Haiyan Zhu, Qijing Fu, Xinqi
Lu, Wuying Huang, et al. “Phytoalexin Sakuranetin Attenuates Endocytosis and Enhances
Resistance to Rice Blast.” Nature Communications. Springer Nature, 2024.
https://doi.org/10.1038/s41467-024-47746-y.
ieee: L. Jiang et al., “Phytoalexin sakuranetin attenuates endocytosis and
enhances resistance to rice blast,” Nature Communications, vol. 15. Springer
Nature, 2024.
ista: Jiang L, Zhang X, Zhao Y, Zhu H, Fu Q, Lu X, Huang W, Yang X, Zhou X, Wu L,
Yang A, He X, Dong M, Peng Z, Yang J, Guo L, Wen J, Huang H, Xie Y, Zhu S, Li
C, He X, Zhu Y, Friml J, Du Y. 2024. Phytoalexin sakuranetin attenuates endocytosis
and enhances resistance to rice blast. Nature Communications. 15, 3437.
mla: Jiang, Lihui, et al. “Phytoalexin Sakuranetin Attenuates Endocytosis and Enhances
Resistance to Rice Blast.” Nature Communications, vol. 15, 3437, Springer
Nature, 2024, doi:10.1038/s41467-024-47746-y.
short: L. Jiang, X. Zhang, Y. Zhao, H. Zhu, Q. Fu, X. Lu, W. Huang, X. Yang, X.
Zhou, L. Wu, A. Yang, X. He, M. Dong, Z. Peng, J. Yang, L. Guo, J. Wen, H. Huang,
Y. Xie, S. Zhu, C. Li, X. He, Y. Zhu, J. Friml, Y. Du, Nature Communications 15
(2024).
date_created: 2024-06-03T08:54:50Z
date_published: 2024-04-23T00:00:00Z
date_updated: 2026-09-03T09:18:44Z
day: '23'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1038/s41467-024-47746-y
external_id:
isi:
- '001207290500013'
pmid:
- '38653755'
file:
- access_level: open_access
checksum: 80cb2f2c538e81064f4836b54bc313ca
content_type: application/pdf
creator: dernst
date_created: 2024-06-03T12:05:10Z
date_updated: 2024-06-03T12:05:10Z
file_id: '17110'
file_name: 2024_NatureComm_Jiang.pdf
file_size: 8013695
relation: main_file
success: 1
file_date_updated: 2024-06-03T12:05:10Z
fulldoi: https://doi.org/10.1038/s41467-024-47746-y
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '22776'
relation: used_in_publication
status: public
scopus_import: '1'
status: public
title: Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice
blast
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22776'
article_processing_charge: No
author:
- first_name: Yunlong
full_name: Du, Yunlong
last_name: Du
citation:
ama: Du Y. SeRrbJ609. 2024. doi:10.6084/m9.figshare.25448191
apa: Du, Y. (2024). SeRrbJ609. Repository. https://doi.org/10.6084/m9.figshare.25448191
chicago: Du, Yunlong. “SeRrbJ609.” Repository, 2024. https://doi.org/10.6084/m9.figshare.25448191.
ieee: Y. Du, “SeRrbJ609.” Repository, 2024.
ista: Du Y. 2024. SeRrbJ609, Repository, 10.6084/m9.figshare.25448191.
mla: Du, Yunlong. SeRrbJ609. Repository, 2024, doi:10.6084/m9.figshare.25448191.
short: Y. Du, (2024).
date_created: 2026-09-03T09:17:46Z
date_published: 2024-03-21T00:00:00Z
date_updated: 2026-09-03T09:18:44Z
day: '21'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.6084/m9.figshare.25448191
fulldoi: https://doi.org/10.6084/m9.figshare.25448191
main_file_link:
- open_access: '1'
url: https://doi.org/10.6084/m9.figshare.25448191
month: '03'
oa: 1
oa_version: None
publisher: Repository
related_material:
record:
- id: '17103'
relation: research_data
status: public
status: public
title: SeRrbJ609
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...
---
_id: '18155'
abstract:
- lang: eng
text: We study the classical problem of verifying programs with respect to formal
specifications given in the linear temporal logic (LTL). We first present novel
sound and complete witnesses for LTL verification over imperative programs. Our
witnesses are applicable to both verification (proving) and refutation (finding
bugs) settings. We then consider LTL formulas in which atomic propositions can
be polynomial constraints and turn our focus to polynomial arithmetic programs,
i.e. programs in which every assignment and guard consists only of polynomial
expressions. For this setting, we provide an efficient algorithm to automatically
synthesize such LTL witnesses. Our synthesis procedure is both sound and semi-complete.
Finally, we present experimental results demonstrating the effectiveness of our
approach and that it can handle programs which were beyond the reach of previous
state-of-the-art tools.
acknowledgement: This work was supported in part by the ERC-2020-CoG 863818 (FoRM-SMArt)
and the Hong Kong Research Grants Council ECS Project Number 26208122.
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Ehsan
full_name: Goharshady, Ehsan
last_name: Goharshady
- first_name: Mehrdad
full_name: Karrabi, Mehrdad
id: 67638922-f394-11eb-9cf6-f20423e08757
last_name: Karrabi
orcid: 0009-0007-5253-9170
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. Sound and complete
witnesses for template-based verification of LTL properties on polynomial programs.
In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14933. Springer
Nature; 2024:600-619. doi:10.1007/978-3-031-71162-6_31'
apa: 'Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., & Zikelic,
D. (2024). Sound and complete witnesses for template-based verification of LTL
properties on polynomial programs. In Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(Vol. 14933, pp. 600–619). Milan, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-71162-6_31'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Goharshady, Mehrdad
Karrabi, and Dorde Zikelic. “Sound and Complete Witnesses for Template-Based Verification
of LTL Properties on Polynomial Programs.” In Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics), 14933:600–619. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71162-6_31.
ieee: K. Chatterjee, A. K. Goharshady, E. Goharshady, M. Karrabi, and D. Zikelic,
“Sound and complete witnesses for template-based verification of LTL properties
on polynomial programs,” in Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Milan, Italy, 2024, vol. 14933, pp. 600–619.
ista: 'Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. 2024. Sound
and complete witnesses for template-based verification of LTL properties on polynomial
programs. Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics). FM: Formal Methods,
LNCS, vol. 14933, 600–619.'
mla: Chatterjee, Krishnendu, et al. “Sound and Complete Witnesses for Template-Based
Verification of LTL Properties on Polynomial Programs.” Lecture Notes in Computer
Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics), vol. 14933, Springer Nature, 2024, pp. 600–19, doi:10.1007/978-3-031-71162-6_31.
short: K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:,
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp.
600–619.
conference:
end_date: 2024-09-13
location: Milan, Italy
name: 'FM: Formal Methods'
start_date: 2024-09-09
corr_author: '1'
date_created: 2024-09-29T22:01:37Z
date_published: 2024-09-11T00:00:00Z
date_updated: 2026-09-03T11:51:22Z
day: '11'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-71162-6_31
ec_funded: 1
external_id:
arxiv:
- '2403.05386'
isi:
- '001336893300031'
file:
- access_level: open_access
checksum: 223845be9e754681ee218866827c95e7
content_type: application/pdf
creator: dernst
date_created: 2024-10-01T09:56:54Z
date_updated: 2024-10-01T09:56:54Z
file_id: '18165'
file_name: 2024_LNCS_Chatterjee.pdf
file_size: 650495
relation: main_file
success: 1
file_date_updated: 2024-10-01T09:56:54Z
fulldoi: https://doi.org/10.1007/978-3-031-71162-6_31
has_accepted_license: '1'
intvolume: ' 14933'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 600-619
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031711619'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '22798'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Sound and complete witnesses for template-based verification of LTL properties
on polynomial programs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 14933
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22798'
abstract:
- lang: eng
text: "This repository contains the artifact of the paper titled \"Sound and Complete
Witnesses for Template-based Verification of LTL Properties on Polynomial Programs\"
accepted at FM 2024.\r\n\r\nThe task of verifying an LTL formula on a program
can be reduced to verifying a Büchi specification on the product transition system.
This tool takes a non-deterministic transition system together with a Büchi specification
as input and based on user preferences tries to either (i) prove the existence
of a run in the program that satisfies the Büchi condition or (ii) demonstrate
that every run of the program satisfies the Büchi condition.\r\n \r\nThe tool
is written in Java and works well with openjdk 11 on Ubuntu 22.04. Running all
the experiments can take weeks to finish. We have provided a script for running
the strongest configuration of our tool which solves most of the benchmarks and
takes less than 48 hours. Detailed guidance is given in the readme file."
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
last_name: Chatterjee
- first_name: Amir
full_name: ' Kafshdar Goharshady, Amir'
last_name: ' Kafshdar Goharshady'
- first_name: Ehsan
full_name: Kafshdar Goharshady, Ehsan
last_name: Kafshdar Goharshady
- first_name: Mehrdad
full_name: Karrabi, Mehrdad
last_name: Karrabi
- first_name: Ðorđe
full_name: Žikelić, Ðorđe
last_name: Žikelić
citation:
ama: Chatterjee K, Kafshdar Goharshady A, Kafshdar Goharshady E, Karrabi M, Žikelić
Ð. Data for Sound and Complete Witnesses for Template-based Verification of LTL
Properties on Polynomial Programs. 2024. doi:10.5281/zenodo.12518216
apa: Chatterjee, K., Kafshdar Goharshady, A., Kafshdar Goharshady, E., Karrabi,
M., & Žikelić, Ð. (2024). Data for Sound and Complete Witnesses for Template-based
Verification of LTL Properties on Polynomial Programs. Repository. https://doi.org/10.5281/zenodo.12518216
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady,
Mehrdad Karrabi, and Ðorđe Žikelić. “Data for Sound and Complete Witnesses for
Template-Based Verification of LTL Properties on Polynomial Programs.” Repository,
2024. https://doi.org/10.5281/zenodo.12518216.
ieee: K. Chatterjee, A. Kafshdar Goharshady, E. Kafshdar Goharshady, M. Karrabi,
and Ð. Žikelić, “Data for Sound and Complete Witnesses for Template-based Verification
of LTL Properties on Polynomial Programs.” Repository, 2024.
ista: Chatterjee K, Kafshdar Goharshady A, Kafshdar Goharshady E, Karrabi M, Žikelić
Ð. 2024. Data for Sound and Complete Witnesses for Template-based Verification
of LTL Properties on Polynomial Programs, Repository, 10.5281/zenodo.12518216.
mla: Chatterjee, Krishnendu, et al. Data for Sound and Complete Witnesses for
Template-Based Verification of LTL Properties on Polynomial Programs. Repository,
2024, doi:10.5281/zenodo.12518216.
short: K. Chatterjee, A. Kafshdar Goharshady, E. Kafshdar Goharshady, M. Karrabi,
Ð. Žikelić, (2024).
date_created: 2026-09-03T11:50:15Z
date_published: 2024-06-24T00:00:00Z
date_updated: 2026-09-03T11:51:23Z
day: '24'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/zenodo.12518216
fulldoi: https://doi.org/10.5281/zenodo.12518216
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.12518216
month: '06'
oa: 1
oa_version: None
publisher: Repository
related_material:
record:
- id: '18155'
relation: used_in_publication
status: public
status: public
title: Data for Sound and Complete Witnesses for Template-based Verification of LTL
Properties on Polynomial Programs
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...
---
OA_place: publisher
OA_type: hybrid
_id: '18528'
abstract:
- lang: eng
text: The recent measurement of magnetic field strength inside the radiative interior
of red giant stars has opened the way toward full 3D characterization of the geometry
of stable large-scale magnetic fields. However, current measurements, which are
limited to dipolar (ℓ = 1) mixed modes, do not properly constrain the topology
of magnetic fields due to degeneracies on the observed magnetic field signature
on such ℓ = 1 mode frequencies. Efforts focused toward unambiguous detections
of magnetic field configurations are now key to better understand angular momentum
transport in stars. We investigated the detectability of complex magnetic field
topologies (such as the ones observed at the surface of stars with a radiative
envelope with spectropolarimetry) inside the radiative interior of red giants.
We focused on a field composed of a combination of a dipole and a quadrupole (quadrudipole)
and on an offset field. We explored the potential of probing such magnetic field
topologies from a combined measurement of magnetic signatures on ℓ = 1 and quadrupolar
(ℓ = 2) mixed mode oscillation frequencies. We first derived the asymptotic theoretical
formalism for computing the asymmetric signature in the frequency pattern for
ℓ = 2 modes due to a quadrudipole magnetic field. To access asymmetry parameters
for more complex magnetic field topologies, we numerically performed a grid search
over the parameter space to map the degeneracy of the signatures of given topologies.
We demonstrate the crucial role played by ℓ = 2 mixed modes in accessing internal
magnetic fields with a quadrupolar component. The degeneracy of the quadrudipole
compared to pure dipolar fields is lifted when considering magnetic asymmetries
in both ℓ = 1 and ℓ = 2 mode frequencies. In addition to the analytical derivation
for the quadrudipole, we present the prospect for complex magnetic field inversions
using magnetic sensitivity kernels from standard perturbation analysis for forward
modeling. Using this method, we explored the detectability of offset magnetic
fields from ℓ = 1 and ℓ = 2 frequencies and demonstrate that offset fields may
be mistaken for weak and centered magnetic fields, resulting in underestimating
the magnetic field strength in stellar cores. We emphasize the need to characterize
ℓ = 2 mixed-mode frequencies, (along with the currently characterized ℓ = 1 mixed
modes), to unveil the higher-order components of the geometry of buried magnetic
fields and to better constrain angular momentum transport inside stars.
acknowledgement: The authors thank S. Mathis, L. Barrault, S. Torres, A. Cristea,
and K. M. Smith for very useful discussions. This project has received funding from
the European Union’s Horizon 2020 research and innovation programme under the Marie
Skłodowska-Curíe grant agreement No 101034413. The authors thank the anonymous referee
for valuable comments and suggestions to improve the manuscript.
article_number: A217
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Srijan B
full_name: Das, Srijan B
id: 9ce7c423-dacf-11ed-8942-e09c6cb27149
last_name: Das
orcid: 0000-0003-0896-7972
- first_name: Lukas
full_name: Einramhof, Lukas
id: f1497a1a-72ef-11ef-b75a-fd877bbf6e8c
last_name: Einramhof
- first_name: Lisa Annabelle
full_name: Bugnet, Lisa Annabelle
id: d9edb345-f866-11ec-9b37-d119b5234501
last_name: Bugnet
orcid: 0000-0003-0142-4000
citation:
ama: Das SB, Einramhof L, Bugnet LA. Unveiling complex magnetic field configurations
in red giant stars. Astronomy & Astrophysics. 2024;690. doi:10.1051/0004-6361/202450918
apa: Das, S. B., Einramhof, L., & Bugnet, L. A. (2024). Unveiling complex magnetic
field configurations in red giant stars. Astronomy & Astrophysics.
EDP Sciences. https://doi.org/10.1051/0004-6361/202450918
chicago: Das, Srijan B, Lukas Einramhof, and Lisa Annabelle Bugnet. “Unveiling Complex
Magnetic Field Configurations in Red Giant Stars.” Astronomy & Astrophysics.
EDP Sciences, 2024. https://doi.org/10.1051/0004-6361/202450918.
ieee: S. B. Das, L. Einramhof, and L. A. Bugnet, “Unveiling complex magnetic field
configurations in red giant stars,” Astronomy & Astrophysics, vol.
690. EDP Sciences, 2024.
ista: Das SB, Einramhof L, Bugnet LA. 2024. Unveiling complex magnetic field configurations
in red giant stars. Astronomy & Astrophysics. 690, A217.
mla: Das, Srijan B., et al. “Unveiling Complex Magnetic Field Configurations in
Red Giant Stars.” Astronomy & Astrophysics, vol. 690, A217, EDP Sciences,
2024, doi:10.1051/0004-6361/202450918.
short: S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy & Astrophysics 690 (2024).
corr_author: '1'
das_tickbox: '1'
date_created: 2024-11-10T23:02:00Z
date_published: 2024-10-01T00:00:00Z
date_updated: 2026-09-04T09:43:52Z
day: '01'
ddc:
- '520'
department:
- _id: LiBu
doi: 10.1051/0004-6361/202450918
ec_funded: 1
external_id:
arxiv:
- '2405.20133'
isi:
- '001336485200015'
file:
- access_level: open_access
checksum: d43bbe6ed8ce4512e65e2d0d87070cf6
content_type: application/pdf
creator: dernst
date_created: 2024-11-11T09:01:11Z
date_updated: 2024-11-11T09:01:11Z
file_id: '18534'
file_name: 2024_AstronomyAstrophysics_Das.pdf
file_size: 5306256
relation: main_file
success: 1
file_date_updated: 2024-11-11T09:01:11Z
fulldoi: https://doi.org/10.1051/0004-6361/202450918
has_accepted_license: '1'
intvolume: ' 690'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Astronomy & Astrophysics
publication_identifier:
eissn:
- 1432-0746
issn:
- 0004-6361
publication_status: published
publisher: EDP Sciences
quality_controlled: '1'
related_material:
record:
- id: '22802'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Unveiling complex magnetic field configurations in red giant stars
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 690
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22802'
abstract:
- lang: eng
text: MESA inlist file for the paper "Unveiling complex magnetic field configurations
in red giant stars" (10.1051/0004-6361/202450918)
article_processing_charge: No
author:
- first_name: Srijan B
full_name: Das, Srijan B
last_name: Das
- first_name: Lukas
full_name: Einramhof, Lukas
last_name: Einramhof
- first_name: Lisa
full_name: Bugnet, Lisa
last_name: Bugnet
citation:
ama: Das SB, Einramhof L, Bugnet L. MESA inlist file. 2024. doi:10.5281/zenodo.12804810
apa: Das, S. B., Einramhof, L., & Bugnet, L. (2024). MESA inlist file. Institute
of Science and Technology Austria. https://doi.org/10.5281/zenodo.12804810
chicago: Das, Srijan B, Lukas Einramhof, and Lisa Bugnet. “MESA Inlist File.” Institute
of Science and Technology Austria, 2024. https://doi.org/10.5281/zenodo.12804810.
ieee: S. B. Das, L. Einramhof, and L. Bugnet, “MESA inlist file.” Institute of Science
and Technology Austria, 2024.
ista: Das SB, Einramhof L, Bugnet L. 2024. MESA inlist file, Institute of Science
and Technology Austria, 10.5281/zenodo.12804810.
mla: Das, Srijan B., et al. MESA Inlist File. Institute of Science and Technology
Austria, 2024, doi:10.5281/zenodo.12804810.
short: S.B. Das, L. Einramhof, L. Bugnet, (2024).
date_created: 2026-09-04T09:42:23Z
date_published: 2024-07-24T00:00:00Z
date_updated: 2026-09-04T09:43:52Z
day: '24'
ddc:
- '520'
department:
- _id: LiBu
doi: 10.5281/zenodo.12804810
fulldoi: https://doi.org/10.5281/zenodo.12804810
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.12804810
month: '07'
oa: 1
oa_version: None
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '18528'
relation: used_in_publication
status: public
status: public
title: MESA inlist file
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22803'
abstract:
- lang: eng
text: 'In this study, we analyzed the efficiency of different adeno-associated viral
(AAV) injections in transfecting neurons in the salamander Pleurodeles waltl.
To query sources of variation in AAV injection outcomes, we analyzed metadata
and outcomes for an additional 68 intraparenchymal injections performed 39 in
post-metamorphic Pleurodeles salamanders. This dataset included both quantitative
variables (age, weight, viral genomes (v.g.) injected, and a cell transduction
score ranging from 0 to 4, see STAR Methods) and categorical variables (here referred
to as qualitative variables: serotype, promoter, reporter, single vs. dual injection,
manufacturer, and injection site). To assess the associations between these variables,
we performed a Factor Analysis for Mixed Data (FAMD), a principal component method
that is designed to determine significant sources of variability within datasets
that contain both quantitative and qualitative data types. This dataset contains
the injection outcomes and metadata for AAV injections administered in the salamander
Pleurodeles waltl. The RactoMineR package (https://CRAN.R-project.org/package=FactoMineR)
was used to determine significant contributions of a number of variables contributing
to injection outcomes. Analysis of these data revealed that, among other factors,
age co-varies with injection score. Therefore, we conclude that increased animal
age decreases the efficacy of this tool.'
article_processing_charge: No
author:
- first_name: Eliza
full_name: Jaeger, Eliza
last_name: Jaeger
citation:
ama: Jaeger E. Multivariate analysis of Pleurodeles waltl injection outcomes using
FAMD FactoMineR (RStudio 4.3.2) used to probe sources of variability during an
Adeno-associated viral (AAV) screen. 2024. doi:10.5061/dryad.mpg4f4r89
apa: Jaeger, E. (2024). Multivariate analysis of Pleurodeles waltl injection outcomes
using FAMD FactoMineR (RStudio 4.3.2) used to probe sources of variability during
an Adeno-associated viral (AAV) screen. Repository. https://doi.org/10.5061/dryad.mpg4f4r89
chicago: Jaeger, Eliza. “Multivariate Analysis of Pleurodeles Waltl Injection Outcomes
Using FAMD FactoMineR (RStudio 4.3.2) Used to Probe Sources of Variability during
an Adeno-Associated Viral (AAV) Screen.” Repository, 2024. https://doi.org/10.5061/dryad.mpg4f4r89.
ieee: E. Jaeger, “Multivariate analysis of Pleurodeles waltl injection outcomes
using FAMD FactoMineR (RStudio 4.3.2) used to probe sources of variability during
an Adeno-associated viral (AAV) screen.” Repository, 2024.
ista: Jaeger E. 2024. Multivariate analysis of Pleurodeles waltl injection outcomes
using FAMD FactoMineR (RStudio 4.3.2) used to probe sources of variability during
an Adeno-associated viral (AAV) screen, Repository, 10.5061/dryad.mpg4f4r89.
mla: Jaeger, Eliza. Multivariate Analysis of Pleurodeles Waltl Injection Outcomes
Using FAMD FactoMineR (RStudio 4.3.2) Used to Probe Sources of Variability during
an Adeno-Associated Viral (AAV) Screen. Repository, 2024, doi:10.5061/dryad.mpg4f4r89.
short: E. Jaeger, (2024).
date_created: 2026-09-04T10:10:52Z
date_published: 2024-10-10T00:00:00Z
date_updated: 2026-09-04T10:11:04Z
day: '10'
ddc:
- '570'
department:
- _id: E-Lib
doi: 10.5061/dryad.mpg4f4r89
fulldoi: https://doi.org/10.5061/dryad.mpg4f4r89
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.mpg4f4r89
month: '10'
oa: 1
oa_version: None
publisher: Repository
related_material:
record:
- id: '15016'
relation: used_in_publication
status: public
status: public
title: Multivariate analysis of Pleurodeles waltl injection outcomes using FAMD FactoMineR
(RStudio 4.3.2) used to probe sources of variability during an Adeno-associated
viral (AAV) screen
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...
---
OA_place: publisher
_id: '18088'
abstract:
- lang: eng
text: "Instant messaging applications like Whatsapp, Signal or Telegram have become
ubiquitous in today's society.\r\nMany of them provide not only end-to-end encryption,
but also security guarantees even when the key material gets compromised.\r\nThese
are achieved through frequent key update performed by users.\r\nIn particular,
the compromise of a group key should preserve confidentiality of previously exchanged
messages (forward secrecy), and a subsequent key update will ensure security for
future ones (post-compromise security).\r\nThough great protocols for one-on-one
communication have been known for some time, the design of ones that scale efficiently
for larger groups while achieving akin security guarantees is a hard problem.\r\nA
great deal of research has been aimed at this topic, much of it under the umbrella
of the Messaging Layer Security (MLS) working group at the IETF. \r\nStarted in
2018, this joint effort by academics and industry culminated in 2023 with the
publication of the first standard for secure group messaging [IETF, RFC9420].\r\n\r\nAt
the core of secure group messaging is a cryptographic primitive termed Continuous
Group Key Agreement, or CGKA [Alwen et al. 2021], that essentially allows a changing
group of users to agree on a common key with the added functionality security
against compromises is achieved by users asynchronously issuing a key update.
In this thesis we contribute to the understanding of CGKA across different angles.\r\nFirst,
we present a new technique to effect dynamic operations in groups, i.e., add or
remove members, that can be more efficient that the one employed by MLS in certain
settings.\r\nConsidering the setting of users belonging to multiple overlapping
groups, we then show lowerbounds on the communication cost of constructions that
leverage said overlap, at the same time showing protocols that are asymptotically
optimal and efficient for practical settings, respectively. Along the way, we
show that the communication cost of key updates in MLS is average-cost optimal.\r\nAn
important feature in CGKA protocols, particularly for big groups, is the possibility
of executing several group operations concurrently. While later versions of MLS
support this, they do at the cost of worsening the communication efficiency of
future group operations.\r\nIn this thesis we introduce two new protocols that
permit concurrency without any negative effect on efficiency. Our protocols circumvent
previously existing lower bounds by satisfying a new notion of post-compromise
security that only asks for security to be re-established after a certain number
of key updates have taken place. While this can be slower than MLS in terms of
rounds of communication, we show that it leads to more efficient overall communication.
\r\nAdditionally, we introduce a new technique that allows group members to decrease
the information they need to store and download, which makes one of our protocols
enjoy much lower download cost than any other existing CGKA constructions. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Guillermo
full_name: Pascual Perez, Guillermo
id: 2D7ABD02-F248-11E8-B48F-1D18A9856A87
last_name: Pascual Perez
orcid: 0000-0001-8630-415X
citation:
ama: Pascual Perez G. On the efficiency and security of secure group messaging.
2024. doi:10.15479/at:ista:18088
apa: Pascual Perez, G. (2024). On the efficiency and security of secure group
messaging. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18088
chicago: Pascual Perez, Guillermo. “On the Efficiency and Security of Secure Group
Messaging.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18088.
ieee: G. Pascual Perez, “On the efficiency and security of secure group messaging,”
Institute of Science and Technology Austria, 2024.
ista: Pascual Perez G. 2024. On the efficiency and security of secure group messaging.
Institute of Science and Technology Austria.
mla: Pascual Perez, Guillermo. On the Efficiency and Security of Secure Group
Messaging. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18088.
short: G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging,
Institute of Science and Technology Austria, 2024.
corr_author: '1'
date_created: 2024-09-18T12:59:49Z
date_published: 2024-09-18T00:00:00Z
date_updated: 2026-09-07T14:12:38Z
day: '18'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: KrPi
- _id: GradSch
doi: 10.15479/at:ista:18088
ec_funded: 1
file:
- access_level: closed
checksum: ce0dca715b3df48e52e2e891b6ac1bc5
content_type: application/x-zip-compressed
creator: gpascual
date_created: 2024-09-19T12:35:38Z
date_updated: 2024-09-19T12:35:38Z
file_id: '18099'
file_name: thesis_bundle.zip
file_size: 11917734
relation: source_file
- access_level: open_access
checksum: 4a2c72e90f1a0ef2a13cff800f8d1265
content_type: application/pdf
creator: gpascual
date_created: 2024-09-19T12:36:08Z
date_updated: 2024-09-19T12:36:08Z
file_id: '18100'
file_name: thesis_gpasper.pdf
file_size: 2729427
relation: main_file
file_date_updated: 2024-09-19T12:36:08Z
fulldoi: https://doi.org/10.15479/at:ista:18088
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '239'
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '10408'
relation: part_of_dissertation
status: public
- id: '11476'
relation: part_of_dissertation
status: public
- id: '18086'
relation: part_of_dissertation
status: public
- id: '10049'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
title: On the efficiency and security of secure group messaging
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2024'
...
---
_id: '18086'
abstract:
- lang: eng
text: "Abstract. Continuous group key agreement (CGKA) allows a group of\r\nusers
to maintain a continuously updated shared key in an asynchronous\r\nsetting where
parties only come online sporadically and their messages\r\nare relayed by an
untrusted server. CGKA captures the basic primitive\r\nunderlying group messaging
schemes.\r\nCurrent solutions including TreeKEM (“Messaging Layer Security”\r\n(MLS)
IETF RFC 9420) cannot handle concurrent requests while retaining low communication
complexity. The exception being CoCoA, which\r\nis concurrent while having extremely
low communication complexity (in\r\ngroups of size n and for m concurrent updates
the communication per\r\nuser is log(n), i.e., independent of m). The main downside
of CoCoA\r\nis that in groups of size n, users might have to do up to log(n) update\r\nrequests
to the server to ensure their (potentially corrupted) key material has been refreshed.\r\nIn
this work we present a “fast healing” concurrent CGKA protocol,\r\nnamed DeCAF,
where users will heal after at most log(t) requests, with\r\nt being the number
of corrupted users. While also suitable for the standard central-server setting,
our protocol is particularly interesting for\r\nrealizing decentralized group
messaging, where protocol messages (add,\r\nremove, update) are being posted on
some append-only data structure\r\nrather than sent to a server. In this setting,
concurrency is crucial once\r\nthe rate of requests exceeds, say, the rate at
which new blocks are added\r\nto a blockchain.\r\nIn the central-server setting,
CoCoA (the only alternative with concurrency, sub-linear communication and basic
post-compromise security)\r\nenjoys much lower download communication. However,
in the decentralized setting – where there is no server which can craft specific
messages\r\nfor different users to reduce their download communication – our protocol\r\nsignificantly
outperforms CoCoA. DeCAF heals in fewer epochs (log(t)\r\nvs. log(n)) while incurring
a similar per epoch per user communication\r\ncost."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Joel F
full_name: Alwen, Joel F
id: 2A8DFA8C-F248-11E8-B48F-1D18A9856A87
last_name: Alwen
- first_name: Benedikt
full_name: Auerbach, Benedikt
id: D33D2B18-E445-11E9-ABB7-15F4E5697425
last_name: Auerbach
orcid: 0000-0002-7553-6606
- first_name: Miguel
full_name: Cueto Noval, Miguel
id: ffc563a3-f6e0-11ea-865d-e3cce03d17cc
last_name: Cueto Noval
orcid: 0000-0002-2505-4246
- first_name: Karen
full_name: Klein, Karen
id: 3E83A2F8-F248-11E8-B48F-1D18A9856A87
last_name: Klein
- first_name: Guillermo
full_name: Pascual Perez, Guillermo
id: 2D7ABD02-F248-11E8-B48F-1D18A9856A87
last_name: Pascual Perez
orcid: 0000-0001-8630-415X
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ.
DeCAF: Decentralizable CGKA with fast healing. In: Galdi C, Phan DH, eds. Security
and Cryptography for Networks: 14th International Conference. Vol 14974. Cham:
Springer Nature; 2024:294–313. doi:10.1007/978-3-031-71073-5_14'
apa: 'Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G.,
& Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In
C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks: 14th
International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature.
https://doi.org/10.1007/978-3-031-71073-5_14'
chicago: 'Alwen, Joel F, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo
Pascual Perez, and Krzysztof Z Pietrzak. “DeCAF: Decentralizable CGKA with Fast
Healing.” In Security and Cryptography for Networks: 14th International Conference,
edited by Clemente Galdi and Duong Hieu Phan, 14974:294–313. Cham: Springer Nature,
2024. https://doi.org/10.1007/978-3-031-71073-5_14.'
ieee: 'J. F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, and
K. Z. Pietrzak, “DeCAF: Decentralizable CGKA with fast healing,” in Security
and Cryptography for Networks: 14th International Conference, Amalfi, Italy,
2024, vol. 14974, pp. 294–313.'
ista: 'Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ.
2024. DeCAF: Decentralizable CGKA with fast healing. Security and Cryptography
for Networks: 14th International Conference. SCN: Security and Cryptography for
Networks, LNCS, vol. 14974, 294–313.'
mla: 'Alwen, Joel F., et al. “DeCAF: Decentralizable CGKA with Fast Healing.” Security
and Cryptography for Networks: 14th International Conference, edited by Clemente
Galdi and Duong Hieu Phan, vol. 14974, Springer Nature, 2024, pp. 294–313, doi:10.1007/978-3-031-71073-5_14.'
short: 'J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z.
Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks:
14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.'
conference:
end_date: 2024-09-13
location: Amalfi, Italy
name: 'SCN: Security and Cryptography for Networks'
start_date: 2024-09-11
corr_author: '1'
date_created: 2024-09-18T11:35:14Z
date_published: 2024-09-10T00:00:00Z
date_updated: 2026-09-07T14:12:37Z
day: '10'
department:
- _id: GradSch
- _id: KrPi
doi: 10.1007/978-3-031-71073-5_14
editor:
- first_name: Clemente
full_name: Galdi, Clemente
last_name: Galdi
- first_name: Duong Hieu
full_name: Phan, Duong Hieu
last_name: Phan
external_id:
isi:
- '001330408000014'
fulldoi: https://doi.org/10.1007/978-3-031-71073-5_14
intvolume: ' 14974'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 294–313
place: Cham
publication: 'Security and Cryptography for Networks: 14th International Conference'
publication_identifier:
eisbn:
- '9783031710735'
eissn:
- 1611-3349
isbn:
- '9783031710728'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '18088'
relation: dissertation_contains
status: public
status: public
title: 'DeCAF: Decentralizable CGKA with fast healing'
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 14974
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '18702'
abstract:
- lang: eng
text: 'In this work we prove lower bounds on the (communication) cost of maintaining
a shared key among a dynamic group of users. Being “dynamic” means one can add
and remove users from the group. This captures important protocols like multicast
encryption (ME) and continuous group-key agreement (CGKA), which is the primitive
underlying many group messaging applications. We prove our bounds in a combinatorial
setting where the state of the protocol progresses in rounds. The state of the
protocol in each round is captured by a set system, with each of its elements
specifying a set of users who share a secret key. We show this combinatorial model
implies bounds in symbolic models for ME and CGKA that capture, as building blocks,
PRGs, PRFs, dual PRFs, secret sharing, and symmetric encryption in the setting
of ME, and PRGs, PRFs, dual PRFs, secret sharing, public-key encryption, and key-updatable
public-key encryption in the setting of CGKA. The models are related to the ones
used by Micciancio and Panjwani (Eurocrypt’04) and Bienstock et al. (TCC’20) to
analyze ME and CGKA, respectively. We prove – using the Bollobás’ Set Pairs Inequality
– that the cost (number of uploaded ciphertexts) for replacing a set of d users
in a group of size n is Ω(dln(n/d)). Our lower bound is asymptotically tight and
both improves on a bound of Ω(d) by Bienstock et al. (TCC’20), and generalizes
a result by Micciancio and Panjwani (Eurocrypt’04), who proved a lower bound of
Ω(log(n)) for d=1. '
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Michael
full_name: Anastos, Michael
id: 0b2a4358-bb35-11ec-b7b9-e3279b593dbb
last_name: Anastos
- first_name: Benedikt
full_name: Auerbach, Benedikt
id: D33D2B18-E445-11E9-ABB7-15F4E5697425
last_name: Auerbach
orcid: 0000-0002-7553-6606
- first_name: Mirza Ahad
full_name: Baig, Mirza Ahad
id: 3EDE6DE4-AA5A-11E9-986D-341CE6697425
last_name: Baig
- first_name: Miguel
full_name: Cueto Noval, Miguel
id: ffc563a3-f6e0-11ea-865d-e3cce03d17cc
last_name: Cueto Noval
orcid: 0000-0002-2505-4246
- first_name: Matthew Alan
full_name: Kwan, Matthew Alan
id: 5fca0887-a1db-11eb-95d1-ca9d5e0453b3
last_name: Kwan
orcid: 0000-0002-4003-7567
- first_name: Guillermo
full_name: Pascual Perez, Guillermo
id: 2D7ABD02-F248-11E8-B48F-1D18A9856A87
last_name: Pascual Perez
orcid: 0000-0001-8630-415X
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Anastos M, Auerbach B, Baig MA, et al. The cost of maintaining keys in dynamic
groups with applications to multicast encryption and group messaging. In: 22nd
International Conference on Theory of Cryptography. Vol 15364. Springer Nature;
2024:413-443. doi:10.1007/978-3-031-78011-0_14'
apa: 'Anastos, M., Auerbach, B., Baig, M. A., Cueto Noval, M., Kwan, M. A., Pascual
Perez, G., & Pietrzak, K. Z. (2024). The cost of maintaining keys in dynamic
groups with applications to multicast encryption and group messaging. In 22nd
International Conference on Theory of Cryptography (Vol. 15364, pp. 413–443).
Milan, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-78011-0_14'
chicago: Anastos, Michael, Benedikt Auerbach, Mirza Ahad Baig, Miguel Cueto Noval,
Matthew Alan Kwan, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “The Cost
of Maintaining Keys in Dynamic Groups with Applications to Multicast Encryption
and Group Messaging.” In 22nd International Conference on Theory of Cryptography,
15364:413–43. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-78011-0_14.
ieee: M. Anastos et al., “The cost of maintaining keys in dynamic groups
with applications to multicast encryption and group messaging,” in 22nd International
Conference on Theory of Cryptography, Milan, Italy, 2024, vol. 15364, pp.
413–443.
ista: 'Anastos M, Auerbach B, Baig MA, Cueto Noval M, Kwan MA, Pascual Perez G,
Pietrzak KZ. 2024. The cost of maintaining keys in dynamic groups with applications
to multicast encryption and group messaging. 22nd International Conference on
Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 15364, 413–443.'
mla: Anastos, Michael, et al. “The Cost of Maintaining Keys in Dynamic Groups with Applications
to Multicast Encryption and Group Messaging.” 22nd International Conference
on Theory of Cryptography, vol. 15364, Springer Nature, 2024, pp. 413–43,
doi:10.1007/978-3-031-78011-0_14.
short: M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual
Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography,
Springer Nature, 2024, pp. 413–443.
conference:
end_date: 2024-12-06
location: Milan, Italy
name: 'TCC: Theory of Cryptography'
start_date: 2024-12-02
corr_author: '1'
date_created: 2024-12-22T23:01:47Z
date_published: 2024-12-02T00:00:00Z
date_updated: 2026-09-07T11:37:57Z
day: '02'
department:
- _id: MaKw
- _id: KrPi
doi: 10.1007/978-3-031-78011-0_14
external_id:
isi:
- '001545628900014'
fulldoi: https://doi.org/10.1007/978-3-031-78011-0_14
intvolume: ' 15364'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2024/1097
month: '12'
oa: 1
oa_version: Preprint
page: 413-443
publication: 22nd International Conference on Theory of Cryptography
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031780103'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '22664'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: The cost of maintaining keys in dynamic groups with applications to multicast
encryption and group messaging
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15364
year: '2024'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '18480'
abstract:
- lang: eng
text: Caloric restriction (CR) can extend the organism life- and health-span by
improving glucose homeostasis. How CR affects the structure-function of pancreatic
beta cells remains unknown. We used single nucleus transcriptomics to show that
CR increases the expression of genes for beta cell identity, protein processing,
and organelle homeostasis. Gene regulatory network analysis reveal that CR activates
transcription factors important for beta cell identity and homeostasis, while
imaging metabolomics demonstrates that beta cells upon CR are more energetically
competent. In fact, high-resolution microscopy show that CR reduces beta cell
mitophagy to increase mitochondria mass and the potential for ATP generation.
However, CR beta cells have impaired adaptive proliferation in response to high
fat diet feeding. Finally, we show that long-term CR delays the onset of beta
cell aging hallmarks and promotes cell longevity by reducing beta cell turnover.
Therefore, CR could be a feasible approach to preserve compromised beta cell structure-function
during aging and diabetes.
acknowledgement: We are thankful to Michelle Reyzer from the Vanderbilt Mass Spectrometry
Research Center for assistance with MALDI-MS imaging and analysis, to the outstanding
team at the Vanderbilt Mouse Metabolic Phenotyping Center for all the assistance
with in vivo glucose homeostasis tests (DK135073, 1S10RR028101-01). We also thank
the University of Michigan Animal Phenotyping Core for conducting the bomb calorimetry
experiments (1U2CDK110768, DK020575, and DK089503). This research was supported
by recruitment funds from the Vanderbilt’s Department of Molecular Physiology and
Biophysics and NIH grants 1R03DK127484, 5U24DK097771, and 1R01DK138141 to RAeD,
by a grant from the Canadian Institutes of Health Research (CIHR; 487188) to PEM,
by and NIH DK132669 to D.D. PEM holds the Canada Research Chair in Islet Biology.
article_number: '9063'
article_processing_charge: Yes
article_type: original
author:
- first_name: Cristiane
full_name: Dos Santos, Cristiane
last_name: Dos Santos
- first_name: Amanda
full_name: Cambraia, Amanda
last_name: Cambraia
- first_name: Shristi
full_name: Shrestha, Shristi
last_name: Shrestha
- first_name: Melanie
full_name: Cutler, Melanie
last_name: Cutler
- first_name: Matthew
full_name: Cottam, Matthew
last_name: Cottam
- first_name: Guy
full_name: Perkins, Guy
last_name: Perkins
- first_name: Varda
full_name: Lev-Ram, Varda
last_name: Lev-Ram
- first_name: Birbickram
full_name: Roy, Birbickram
last_name: Roy
- first_name: Christopher
full_name: Acree, Christopher
last_name: Acree
- first_name: Keun Young
full_name: Kim, Keun Young
last_name: Kim
- first_name: Thomas
full_name: Deerinck, Thomas
last_name: Deerinck
- first_name: Danielle
full_name: Dean, Danielle
last_name: Dean
- first_name: Jean Philippe
full_name: Cartailler, Jean Philippe
last_name: Cartailler
- first_name: Patrick E.
full_name: Macdonald, Patrick E.
last_name: Macdonald
- first_name: Martin W
full_name: Hetzer, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: Hetzer
orcid: 0000-0002-2111-992X
- first_name: Mark
full_name: Ellisman, Mark
last_name: Ellisman
- first_name: Rafael
full_name: Arrojo E Drigo, Rafael
last_name: Arrojo E Drigo
citation:
ama: Dos Santos C, Cambraia A, Shrestha S, et al. Calorie restriction increases
insulin sensitivity to promote beta cell homeostasis and longevity in mice. Nature
Communications. 2024;15. doi:10.1038/s41467-024-53127-2
apa: Dos Santos, C., Cambraia, A., Shrestha, S., Cutler, M., Cottam, M., Perkins,
G., … Arrojo E Drigo, R. (2024). Calorie restriction increases insulin sensitivity
to promote beta cell homeostasis and longevity in mice. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-024-53127-2
chicago: Dos Santos, Cristiane, Amanda Cambraia, Shristi Shrestha, Melanie Cutler,
Matthew Cottam, Guy Perkins, Varda Lev-Ram, et al. “Calorie Restriction Increases
Insulin Sensitivity to Promote Beta Cell Homeostasis and Longevity in Mice.” Nature
Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-53127-2.
ieee: C. Dos Santos et al., “Calorie restriction increases insulin sensitivity
to promote beta cell homeostasis and longevity in mice,” Nature Communications,
vol. 15. Springer Nature, 2024.
ista: Dos Santos C, Cambraia A, Shrestha S, Cutler M, Cottam M, Perkins G, Lev-Ram
V, Roy B, Acree C, Kim KY, Deerinck T, Dean D, Cartailler JP, Macdonald PE, Hetzer
M, Ellisman M, Arrojo E Drigo R. 2024. Calorie restriction increases insulin sensitivity
to promote beta cell homeostasis and longevity in mice. Nature Communications.
15, 9063.
mla: Dos Santos, Cristiane, et al. “Calorie Restriction Increases Insulin Sensitivity
to Promote Beta Cell Homeostasis and Longevity in Mice.” Nature Communications,
vol. 15, 9063, Springer Nature, 2024, doi:10.1038/s41467-024-53127-2.
short: C. Dos Santos, A. Cambraia, S. Shrestha, M. Cutler, M. Cottam, G. Perkins,
V. Lev-Ram, B. Roy, C. Acree, K.Y. Kim, T. Deerinck, D. Dean, J.P. Cartailler,
P.E. Macdonald, M. Hetzer, M. Ellisman, R. Arrojo E Drigo, Nature Communications
15 (2024).
date_created: 2024-10-27T23:01:44Z
date_published: 2024-10-21T00:00:00Z
date_updated: 2026-09-09T08:44:31Z
day: '21'
ddc:
- '570'
department:
- _id: MaHe
doi: 10.1038/s41467-024-53127-2
external_id:
isi:
- '001426270600023'
pmid:
- '39433757'
file:
- access_level: open_access
checksum: b936b1c047f41cd427f00e3dc79327d3
content_type: application/pdf
creator: dernst
date_created: 2024-11-04T10:37:56Z
date_updated: 2024-11-04T10:37:56Z
file_id: '18502'
file_name: 2024_NatureComm_dosSantos.pdf
file_size: 7358742
relation: main_file
success: 1
file_date_updated: 2024-11-04T10:37:56Z
fulldoi: https://doi.org/10.1038/s41467-024-53127-2
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '22865'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Calorie restriction increases insulin sensitivity to promote beta cell homeostasis
and longevity in mice
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22865'
abstract:
- lang: eng
text: Dataset for Dos Santos et al, 2024
article_processing_charge: No
author:
- first_name: Rafael
full_name: Arrojo e Drigo, Rafael
last_name: Arrojo e Drigo
citation:
ama: Arrojo e Drigo R. Calorie restriction increases insulin sensitivity to promote
beta cell homeostasis and longevity. 2024. doi:10.5281/zenodo.6491943
apa: Arrojo e Drigo, R. (2024). Calorie restriction increases insulin sensitivity
to promote beta cell homeostasis and longevity. Repository. https://doi.org/10.5281/zenodo.6491943
chicago: Arrojo e Drigo, Rafael. “Calorie Restriction Increases Insulin Sensitivity
to Promote Beta Cell Homeostasis and Longevity.” Repository, 2024. https://doi.org/10.5281/zenodo.6491943.
ieee: R. Arrojo e Drigo, “Calorie restriction increases insulin sensitivity to promote
beta cell homeostasis and longevity.” Repository, 2024.
ista: Arrojo e Drigo R. 2024. Calorie restriction increases insulin sensitivity
to promote beta cell homeostasis and longevity, Repository, 10.5281/zenodo.6491943.
mla: Arrojo e Drigo, Rafael. Calorie Restriction Increases Insulin Sensitivity
to Promote Beta Cell Homeostasis and Longevity. Repository, 2024, doi:10.5281/zenodo.6491943.
short: R. Arrojo e Drigo, (2024).
date_created: 2026-09-09T08:43:34Z
date_published: 2024-10-21T00:00:00Z
date_updated: 2026-09-09T08:44:32Z
day: '21'
ddc:
- '570'
department:
- _id: MaHe
doi: 10.5281/zenodo.6491943
fulldoi: https://doi.org/10.5281/zenodo.6491943
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.6491943
month: '10'
oa: 1
oa_version: None
publisher: Repository
related_material:
record:
- id: '18480'
relation: used_in_publication
status: public
status: public
title: Calorie restriction increases insulin sensitivity to promote beta cell homeostasis
and longevity
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '22866'
article_processing_charge: No
author:
- first_name: Mateja
full_name: Hrast, Mateja
last_name: Hrast
citation:
ama: 'Hrast M. Data for: Ab initio Auger spectrum of the ultrafast dissociating
2p3/2−1σ* resonance in HCl. 2024. doi:10.5281/zenodo.13833474'
apa: 'Hrast, M. (2024). Data for: Ab initio Auger spectrum of the ultrafast dissociating
2p3/2−1σ* resonance in HCl. Repository. https://doi.org/10.5281/zenodo.13833474'
chicago: 'Hrast, Mateja. “Data for: Ab Initio Auger Spectrum of the Ultrafast Dissociating
2p3/2−1σ* Resonance in HCl.” Repository, 2024. https://doi.org/10.5281/zenodo.13833474.'
ieee: 'M. Hrast, “Data for: Ab initio Auger spectrum of the ultrafast dissociating
2p3/2−1σ* resonance in HCl.” Repository, 2024.'
ista: 'Hrast M. 2024. Data for: Ab initio Auger spectrum of the ultrafast dissociating
2p3/2−1σ* resonance in HCl, Repository, 10.5281/zenodo.13833474.'
mla: 'Hrast, Mateja. Data for: Ab Initio Auger Spectrum of the Ultrafast Dissociating
2p3/2−1σ* Resonance in HCl. Repository, 2024, doi:10.5281/zenodo.13833474.'
short: M. Hrast, (2024).
date_created: 2026-09-09T09:20:36Z
date_published: 2024-09-24T00:00:00Z
date_updated: 2026-09-09T09:20:40Z
day: '24'
ddc:
- '530'
department:
- _id: MiLe
- _id: MaSe
doi: 10.5281/zenodo.13833474
fulldoi: https://doi.org/10.5281/zenodo.13833474
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.13833475
month: '09'
oa: 1
oa_version: None
publisher: Repository
related_material:
record:
- id: '18710'
relation: used_in_publication
status: public
status: public
title: 'Data for: Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ*
resonance in HCl'
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...