LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 189

Search options

  1. Book ; Thesis: Technische, bauliche und administrative Entwicklung eines kommunalen deutschen Schlachthofs von den Anfängen bis 1950 am Beispiel Offenburgs

    Kopf, Beate

    1996  

    Author's details von Beate Kopf
    Keywords Offenburger Schlachthof ; Geschichte
    Size 171 S. : Ill., graph. Darst., Kt.
    Document type Book ; Thesis
    Thesis / German Habilitation thesis München, Univ., Diss., 1996
    Note Zsfassung in engl. Sprache
    Remark Abt. Nussallee/Bereichsbibl. ZBMed: AY 18491
    HBZ-ID HT007623980
    Database Catalogue ZB MED Nutrition, Environment, Agriculture

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Shelf markLoan statusLocation
    978/2552 available for loan (reading room) Freihandmagazin (U1)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Book ; Online: Hide and Seek with Spectres

    Oleksenko, Oleksii / Guarnieri, Marco / Köpf, Boris / Silberstein, Mark

    Efficient discovery of speculative information leaks with random testing

    2023  

    Abstract: Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect speculative leaks in commercial (black-box) CPUs. However, the testing process ...

    Abstract Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect speculative leaks in commercial (black-box) CPUs. However, the testing process is still slow, which has hindered in-depth testing campaigns, and so far prevented the discovery of new classes of leakage. In this paper, we identify the root causes of the performance limitations in existing approaches, and propose techniques to overcome these limitations. With these techniques, we improve the testing speed over the state-of-the-art by up to two orders of magnitude. These improvements enable us to run a testing campaign of unprecedented depth on Intel and AMD CPUs. As a highlight, we discover two types of previously unknown speculative leaks (affecting string comparison and division) that have escaped previous manual and automatic analyses.

    Comment: To appear in IEEE S&P 2023
    Keywords Computer Science - Cryptography and Security
    Publishing date 2023-01-18
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Book ; Online: Maatphor

    Salem, Ahmed / Paverd, Andrew / Köpf, Boris

    Automated Variant Analysis for Prompt Injection Attacks

    2023  

    Abstract: Prompt injection has emerged as a serious security threat to large language models (LLMs). At present, the current best-practice for defending against newly-discovered prompt injection techniques is to add additional guardrails to the system (e.g., by ... ...

    Abstract Prompt injection has emerged as a serious security threat to large language models (LLMs). At present, the current best-practice for defending against newly-discovered prompt injection techniques is to add additional guardrails to the system (e.g., by updating the system prompt or using classifiers on the input and/or output of the model.) However, in the same way that variants of a piece of malware are created to evade anti-virus software, variants of a prompt injection can be created to evade the LLM's guardrails. Ideally, when a new prompt injection technique is discovered, candidate defenses should be tested not only against the successful prompt injection, but also against possible variants. In this work, we present, a tool to assist defenders in performing automated variant analysis of known prompt injection attacks. This involves solving two main challenges: (1) automatically generating variants of a given prompt according, and (2) automatically determining whether a variant was effective based only on the output of the model. This tool can also assist in generating datasets for jailbreak and prompt injection attacks, thus overcoming the scarcity of data in this domain. We evaluate Maatphor on three different types of prompt injection tasks. Starting from an ineffective (0%) seed prompt, Maatphor consistently generates variants that are at least 60% effective within the first 40 iterations.
    Keywords Computer Science - Cryptography and Security ; Computer Science - Artificial Intelligence ; Computer Science - Machine Learning
    Subject code 670
    Publishing date 2023-12-12
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Book ; Online: GuaranTEE

    Morbitzer, Mathias / Kopf, Benedikt / Zieris, Philipp

    Introducing Control-Flow Attestation for Trusted Execution Environments

    2022  

    Abstract: The majority of cloud providers offers users the possibility to deploy Trusted Execution Environments (TEEs) to protect their data and processes from high privileged adversaries. This offer is intended to address concerns of users when moving critical ... ...

    Abstract The majority of cloud providers offers users the possibility to deploy Trusted Execution Environments (TEEs) to protect their data and processes from high privileged adversaries. This offer is intended to address concerns of users when moving critical tasks into the cloud. However, TEEs only allow to attest the integrity of the environment at launch-time. To also enable the attestation of a TEE's integrity at run-time, we present GuaranTEE. GuaranTEE uses control-flow attestation to ensure the integrity of a service running within a TEE. By additionally placing all components of GuaranTEE in TEEs, we are able to not only detect a compromised target, but are also able to protect ourselves from malicious administrators. We show the practicability of GuaranTEE by providing a detailed performance and security evaluation of our prototype based on Intel SGX in Microsoft Azure. Our evaluation shows that the need to transfer information between TEEs and the additional verification process add considerable overhead under high CPU load. Yet, we are able to reduce this overhead by securely caching collected information and by performing the analysis in parallel to executing the application. In summary, our results show that GuaranTEE provides a practical solution for cloud users focused on protecting the integrity of their data and processes at run-time.
    Keywords Computer Science - Cryptography and Security
    Subject code 004
    Publishing date 2022-02-15
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Article ; Online: Transdisciplinary sarcoma care: a model for sustainable healthcare transformation.

    Fuchs, Bruno / Bode, Beata / Heesen, Philip / Kopf, Barbara / Michelitsch, Christian / Odermatt, Manfred / Giovanoli, Pietro / Breitenstein, Stefan / Schneider, Paul / Schüpfer, Guido / Boes, Stefan / Studer, Gabriela

    Swiss medical weekly

    2024  Volume 154, Page(s) 3473

    MeSH term(s) Humans ; Interdisciplinary Communication ; Delivery of Health Care ; Sarcoma/therapy
    Language English
    Publishing date 2024-04-04
    Publishing country Switzerland
    Document type Journal Article
    ZDB-ID 2036179-8
    ISSN 1424-3997 ; 1424-7860
    ISSN (online) 1424-3997
    ISSN 1424-7860
    DOI 10.57187/s.3473
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Ua VI Zs.152: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 2021: Bestellungen von Artikeln über das Online-Bestellformular
    ab Jg. 2022: Lesesaal (EG)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  6. Book ; Online: Revizor

    Oleksenko, Oleksii / Fetzer, Christof / Köpf, Boris / Silberstein, Mark

    Testing Black-box CPUs against Speculation Contracts

    2021  

    Abstract: Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Such vulnerabilities often stay undetected for a long time as we lack the ... ...

    Abstract Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Such vulnerabilities often stay undetected for a long time as we lack the tools for systematic testing of CPUs to find them. In this paper, we propose an approach to automatically detect microarchitectural information leakage in commercial black-box CPUs. We build on speculation contracts, which we employ to specify the permitted side effects of program execution on the CPU's microarchitectural state. We propose a Model-based Relational Testing (MRT) technique to empirically assess the CPU compliance with these specifications. We implement MRT in a testing framework called Revizor, and showcase its effectiveness on real Intel x86 CPUs. Revizor automatically detects violations of a rich set of contracts, or indicates their absence. A highlight of our findings is that Revizor managed to automatically surface Spectre, MDS, and LVI, as well as several previously unknown variants.
    Keywords Computer Science - Cryptography and Security ; Computer Science - Hardware Architecture
    Subject code 005
    Publishing date 2021-05-14
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Article: In Düsseldorf bewegt sich was - Bewegung, Spiel und Sport mit krebskranken Kindern

    Kopf, B.

    B&G Bewegungstherapie und Gesundheitssport

    2006  Volume 22, Issue 05, Page(s) 186–187

    Abstract: Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte ... ...

    Abstract Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte Angebote dazu beitragen, den jungen Patienten Lebensfreude und -qualität zurückzugeben. Bewegung wird zunehmend zum festen Baustein in der Therapie krebskranker Kinder. Nicht zuletzt deshalb werden in der Universitätskinderklinik Düsseldorf Kindern und Jugendlichen vermehrt spielerische Bewegungsförderungen angeboten.
    Keywords Entwicklungsverzögerungen ; Bewegung als Ablenkung ; flexible Planung ; Verbesserung des Körperbewusstseins ; soziale Kompetenz ; Development delay ; physical activity and mental diversion ; flexible planning ; improvement of body consciousness ; social competence
    Language German
    Publishing date 2006-01-01
    Publishing place Stuttgart ; New York
    Document type Article
    ZDB-ID 2141948-6
    ISSN 1613-3269 ; 1613-0863
    ISSN (online) 1613-3269
    ISSN 1613-0863
    DOI 10.1055/s-2006-942215
    Database Thieme publisher's database

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  8. Article: In Düsseldorf bewegt sich was - Bewegung, Spiel und Sport mit krebskranken Kindern

    Kopf, B.

    Bewegungstherapie und Gesundheitssport

    2006  Volume 22, Issue 5, Page(s) 186

    Language German
    Document type Article
    ZDB-ID 1016021-8
    ISSN 0930-1348 ; 0939-0626
    Database Current Contents Medicine

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 3820: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 1994: Bestellungen von Artikeln über das Online-Bestellformular
    Jg. 1995 - 2021: Lesesall (2.OG)
    ab Jg. 2022: Lesesaal (EG)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  9. Article: In Düsseldorf bewegt sich was - Bewegung, Spiel und Sport mit krebskranken Kindern

    Kopf, B

    Bewegungstherapie und Gesundheitssport - B&G

    2006  Volume 22, Issue 5, Page(s) 186–187

    Abstract: Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte ... ...

    Abstract Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte Angebote dazu beitragen, den jungen Patienten Lebensfreude und -qualität zurückzugeben. Bewegung wird zunehmend zum festen Baustein in der Therapie krebskranker Kinder. Nicht zuletzt deshalb werden in der Universitätskinderklinik Düsseldorf Kindern und Jugendlichen vermehrt spielerische Bewegungsförderungen angeboten.
    Keywords Entwicklungsverzögerungen ; Bewegung als Ablenkung ; flexible Planung ; Verbesserung des Körperbewusstseins ; soziale Kompetenz ; Wärmeempfindlichkeit ; Größenverteilung ; Tumorzellen ; Eileiter ; endometrioides Adenokarzinom
    Language German
    Document type Article
    ZDB-ID 2136938-0
    ISSN 1613-3269 ; 1613-0863
    ISSN 1613-0863
    DOI 10.1055/s-2006-942215
    Database bibnet.org

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 3820: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 1994: Bestellungen von Artikeln über das Online-Bestellformular
    Jg. 1995 - 2021: Lesesall (2.OG)
    ab Jg. 2022: Lesesaal (EG)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  10. Book: UEBER DIE QUANTITATIVE UND QUALITATIVE AUSWERTUNG EINES SENSIBLEN VESTIBULO-SPINALEN TESTS, DES UNTERBERGER'SCHEN TRETVERSUCHES, MITTELS DER CRANIO-CORPO-GRAPHIE

    Köpf, Bernhard

    1978  

    Size 83 S.
    Document type Book
    Note WUERZBURG, UNIV., FACHBEREICH MEDIZIN, DISS., 1978
    HBZ-ID HT000220765
    Database Catalogue ZB MED Medicine, Health

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Shelf markLoan statusLocation
    79 D 48 order for loan Magazin

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

To top