LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Back to previous search Search history
Advanced search

Your last searches

  1. AU="Bansal, Ayush"
  2. AU="Liao, Naikai"
  3. AU="Gomes, Lux Attiê Santos"
  4. AU="İdil Su Canıtez"
  5. AU="Baptiste Duceau"
  6. AU="Pedro Seoane-Zonjic"
  7. AU="Guthridge, Carla J"
  8. AU=Meena Netra P.
  9. AU="Boustany, Tara"

Search results

Result 1 - 4 of total 4

Search options

  1. Book ; Online: Analysis of Linux-PRNG (Pseudo Random Number Generator)

    Bansal, Ayush / Subramanyan, Pramod / Nandakumar, Satyadev

    2023  

    Abstract: The Linux pseudorandom number generator (PRNG) is a PRNG with entropy inputs and is widely used in many security-related applications and protocols. This PRNG is written as an open-source code which is subject to regular changes. It has been analysed in ... ...

    Abstract The Linux pseudorandom number generator (PRNG) is a PRNG with entropy inputs and is widely used in many security-related applications and protocols. This PRNG is written as an open-source code which is subject to regular changes. It has been analysed in the works of Gutterman et al., Lacharme et al., while in the meantime, several changes have been applied to the code, to counter the attacks presented since then. Our work describes the Linux PRNG of kernel versions 5.3 and upwards. We discuss the PRNG architecture briefly and in detail about the entropy mixing function. Our goal is to study the entropy mixing function and analyse it over two properties, namely, injectivity and length of the longest chain. For this purpose, we will be using SAT solving and model counting over targetted formulas involving multiple states of the Linux entropy store.
    Keywords Computer Science - Programming Languages
    Publishing date 2023-12-06
    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.

  2. Book ; Online: Input Validation with Symbolic Execution

    Mehrotra, Anay / Bansal, Ayush / Pandey, Awanish / Roy, Subhajit

    2021  

    Abstract: Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by the sheer number of infeasible paths and fails to explore enough feasible ... ...

    Abstract Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by the sheer number of infeasible paths and fails to explore enough feasible paths to gain any respectable coverage. In this paper, we propose a system, InVaSion, that attempts to solve this problem for forking-based symbolic execution engines. We propose an input specification language (ISL) that is based on a finite-state automaton but includes guarded transitions, a set of registers and a set of commands to update the register states. We demonstrate that our language is expressive enough to handle complex input specifications, like the Tiff image format, while not requiring substantial human effort; even the Tiff image specification could be specified in our language with an automaton of about 35 states. InVaSion translates the given program and the input specification into a non-deterministic program and uses symbolic execution to instantiate the non-determinism. This allows our tool to work with any forking-based symbolic execution engine and with no requirement of any special theory solver. Over our set of benchmarks, on an average, InVaSion was able to increase branch coverage from 24.97% to 67.84% over baseline KLEE.
    Keywords Computer Science - Programming Languages
    Subject code 004
    Publishing date 2021-04-03
    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. Article: Conference report: Introducing oncology to undergraduate medical and allied health sciences students: reflections from 2nd

    Datta, Soumitra Shankar / Agrawal, Sanjit / Jain, Prateek / Kumar, Jeevan / Bhattacharjee, Arnab / Bansal, Ayush / Mahajan, Shagun / Podder, Dibakar / Manikantan, Kapila / Kumar, Gaurav / Samanta, Bidisha / Sarkar, Sohini / Ghose, Soumita / Ghosal, Niladri / Guevera, Mary / Burke, Danny

    Ecancermedicalscience

    2023  Volume 17, Page(s) 1647

    Abstract: Despite the high cancer burden in low-middle-income-countries, medical students often have inadequate exposure to oncology. This may contribute to reduced interest in pursuing training in the field. The second ecancer TMC Oncology Congress at Kolkata on ... ...

    Abstract Despite the high cancer burden in low-middle-income-countries, medical students often have inadequate exposure to oncology. This may contribute to reduced interest in pursuing training in the field. The second ecancer TMC Oncology Congress at Kolkata on 30th September and 1st October 2023 was planned primarily to introduce undergraduate medical and allied health science students to oncology. There were separate sessions on breast cancer, thyroid cancer, myeloma and research methods so that students get exposure to a wide range of topics. Multi-disciplinary case-based discussions on common clinical presentations helped the students grasp the way a modern cancer hospital functions. Eighty-two percent (131/159, 82%) of the pre-registered delegates attended the congress alongside 44 national and international faculty from surgical oncology, radiation oncology, medical oncology, nuclear medicine, radiology, histopathology, psychiatry and palliative medicine. Of those who offered written anonymous feedback, 76% (70/91, 76%) rated the congress to be excellent. Broadly the following themes emerged from the qualitative feedback a) Delegates positively viewed the opportunity to 'interact and learn from some of the best of minds in the field of medicine' b) Suggestions included 'more interactive sessions through case histories, demonstrations of techniques, videos, quizzes, etc.' to make the learning experience more engaging. c) Considerable appreciation was expressed for learning about 'scientific writing' d) A few delegates were also inspired by the 'style' of some of the presentations and felt that this would help to design their presentations in the future. Introducing oncology early during their career may inspire undergraduate students to explore the option of pursuing a career in oncology and allied specialties. A video summarising the event is available at https://ecancer.org/en/video/11672-introducing-oncology-to-undergraduate-medical-and-allied-health-sciences-students. All the talks presented during the conference are available at https://ecancer.org/en/conference/1505-2nd-ecancer-tmc-kolkata-oncology-congress.
    Language English
    Publishing date 2023-12-15
    Publishing country England
    Document type Journal Article
    ISSN 1754-6605
    ISSN 1754-6605
    DOI 10.3332/ecancer.2023.1647
    Database MEDical Literature Analysis and Retrieval System OnLINE

    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.

    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. Article: Remote health monitoring system for detecting cardiac disorders.

    Bansal, Ayush / Kumar, Sunil / Bajpai, Anurag / Tiwari, Vijay N / Nayak, Mithun / Venkatesan, Shankar / Narayanan, Rangavittal

    IET systems biology

    2015  Volume 9, Issue 6, Page(s) 309–314

    Abstract: Remote health monitoring system with clinical decision support system as a key component could potentially quicken the response of medical specialists to critical health emergencies experienced by their patients. A monitoring system, specifically ... ...

    Abstract Remote health monitoring system with clinical decision support system as a key component could potentially quicken the response of medical specialists to critical health emergencies experienced by their patients. A monitoring system, specifically designed for cardiac care with electrocardiogram (ECG) signal analysis as the core diagnostic technique, could play a vital role in early detection of a wide range of cardiac ailments, from a simple arrhythmia to life threatening conditions such as myocardial infarction. The system that the authors have developed consists of three major components, namely, (a) mobile gateway, deployed on patient's mobile device, that receives 12-lead ECG signals from any ECG sensor, (b) remote server component that hosts algorithms for accurate annotation and analysis of the ECG signal and (c) point of care device of the doctor to receive a diagnostic report from the server based on the analysis of ECG signals. In the present study, their focus has been toward developing a system capable of detecting critical cardiac events well in advance using an advanced remote monitoring system. A system of this kind is expected to have applications ranging from tracking wellness/fitness to detection of symptoms leading to fatal cardiac events.
    MeSH term(s) Algorithms ; Arrhythmias, Cardiac/physiopathology ; Electrocardiography ; Humans ; Monitoring, Physiologic/instrumentation ; Monitoring, Physiologic/methods ; Signal Processing, Computer-Assisted ; Wireless Technology
    Language English
    Publishing date 2015-11-04
    Publishing country England
    Document type Journal Article
    ZDB-ID 2264538-X
    ISSN 1751-8857 ; 1751-8849
    ISSN (online) 1751-8857
    ISSN 1751-8849
    DOI 10.1049/iet-syb.2015.0012
    Database MEDical Literature Analysis and Retrieval System OnLINE

    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.

To top