a blockchain based proposal for protecting healthcare systems through formal methods

Abstract Blockchain technology is one of the most important and disruptive technologies in the world. Multiple industries are adopting the blockchain technology to innovate the way they work. One of the industries that are looking to adopt the blockchain is the healthcare industry. In fact, the protection of the private information stored in hospital database is a critical issue. In this paper we propose a method aimed to protect information exchanged in hospital networks, with particular regard to magnetic resonance images. As required from blockchain technology, each host network must validate the transiting data network: we exploit formal equivalence checking to perform this validation, by modeling magnetic resonance images in terms of automata by exploiting radiomic features

radiomic features for medical images tamper detection by equivalence checking

Abstract Digital medical images are very easy to be modified for illegal purposes. An attacker may perform this act in order to stop a political candidate, sabotage research, commit insurance fraud, perform an act of terrorism, or even commit murder. Between the machine that performs medical scans and the radiologist monitor, medical images pass through different devices: in this chain an attacker can perform its malicious action. In this paper we propose a method aimed to avoid medical images modifications by means of equivalence checking. Magnetic images are represented as finite state automata and equivalence checking is exploited to check whether the medical resource have been subject to illegal modifications

formal modeling for magnetic resonance images tamper mitigation

Abstract The picture archiving and communication system is a medical imaging technology used primarily in healthcare organizations to store and digitally transmit electronic images and clinically-relevant reports. As demonstrated, these systems can be exploited by malicious users: in fact, considering that medical images are not digitally encrypted, any medical image modifications would be difficult to detect for a radiologist. To mitigate this aspect, in this paper a formal modelisation for picture archiving and communication system systems is proposed. The main aim is to avoid illegal writing and reading from components that should not do it, by representing the system components in terms of automa

Pancreatic tumors imaging: an update

Currently, ultrasound (US), computed tomography (CT) and Magnetic Resonance imaging (MRI) represent the mainstay in the evaluation of pancreatic solid and cystic tumors affecting pancreas in 80-85% and 10-15% of the cases respectively. Integration of US, CT or MR imaging is essential for an accurate assessment of pancreatic parenchyma, ducts and adjacent soft tissues in order to detect and to stage the tumor, to differentiate solid from cystic lesions and to establish an appropriate treatment. The purpose of this review is to provide an overview of pancreatic tumors and the role of imaging in their diagnosis and management. In order to a prompt and accurate diagnosis and appropriate management of pancreatic lesions, it is crucial for radiologists to know the key findings of the most frequent tumors of the pancreas and the current role of imaging modalities. A multimodality approach is often helpful. If multidetector-row CT (MDCT) is the preferred initial imaging modality in patients with clinical suspicion for pancreatic cancer, multiparametric MRI provides essential information for the detection and characterization of a wide variety of pancreatic lesions and can be used as a problem-solving tool at diagnosis and during follow-up

The effect of foot position on Power Doppler Ultrasound grading of Achilles enthesitis

The aim of this study was to determine whether foot position could modify power Doppler grading in evaluation of the Achilles enthesis. Eighteen patients with clinical Achilles enthesitis were studied with power Doppler ultrasound (PDUS) in five different positions of the foot: active and passive dorsiflexion, neutral position, active and passive plantar flexion. The Doppler signal was graded in any position and compared with the others. The Doppler signal was higher with the foot in plantar flexion and decreased gradually, sometimes till to disappear, while increasing dorsiflexion. The Doppler signal was always less during the active keeping of the position of the joint, than during the passive. The PDUS examination of the Achilles enthesis should be performed also with the foot in passive plantar flexion, in order not to underestimate the degree of vascularization

Three-dimensional (3D) Printed Model to Plan the Endoscopic Treatment of Upper Airway Stenosis

Background: Endoscopic management of tracheal stenosis may be challenging, especially in the case of complex stenosis placed near the vocal folds, and needing stent placement. Herein, we evaluated the utility of the three-dimensional (3D) airway model for procedural planning in a consecutive series of patients with complex airway stenosis and scheduled for endoscopic treatment. Methods: This strategy was applied to 7 consecutive patients with tracheal stenosis unfit for surgery. The model was printed in a rubber-like material, and almost 7 hours were needed to create it. All patients presented respiratory failure with a mean value of 3.4±0.4 Medical Research Council (MRC) dyspnea scale, 47±3.9 forced expiratory volume in 1 second (FEV1%), and an impairment in the 6-minute walking test (6MWT) (mean value, 175±53 m). The mean length of the stenosis was 19±3.4 mm; 3 of the 7 (43%) patients presented a subglottic stenosis. In 4/7 (57%) patients the stenosis was >5 mm, but its treatment required the placement of a stent because of the presence of tracheal cartilage injury. Results: The mean operation time was 22.7±6.6 minutes. No complications were observed during and after the procedure. A significant increase of MRC (3.4±0.4 vs. 1.6±0.5; P=0.003), of FEV1% (47±3.9 vs. 77±9.7; P=0.001), and of 6MWT (175±53 vs. 423±101; P=0.0002) was observed after the procedure (mean follow-up, 11.1±8.8 mo). Conclusion: Our 3D airway model in the management of airway stenosis is useful for procedural planning, rehearsal, and education. The fidelity level of the 3D model remains the main concern for its wider use in patient care. Thus, our impressions should be confirmed by future prospective studies

Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification

Currently, there are 3.1 million American men affected by prostate cancer. Early detection represents the only way to safe lives. To evaluate a prostate cancer, the most widespread rank is the so-called Gleason score, based on the microscopic cancer appearance. Once assigned to the diagnosed prostate cancer its relative Gleason score, the correct therapy to be adopted must be promptly defined. To support pathologists and radiologists in timely diagnosis, in this paper we propose a method aimed to infer the Gleason score and the prostate cancer therapy exploiting formal methods. We consider a set of radiomic features directly obtained from magnetic resonance images. For this reason the proposed method is non invasive, since it does not require a biopsy. We model magnetic resonance images of patients as timed automata networks and we assign the Gleason score and the relative treatment, exploiting a set of temporal logic properties. In the experimental analysis, the properties are verified on 36 different patients, confirming the effectiveness of the proposed method with a sensitivity and a specificity equal to 1 for all the evaluated cases in Gleason score inference, and a sensitivity equal to 0.94 and a specificity equal to 1 in treatment prediction

Colonic Lipoma Causing Bowel Intussusception: An Up-to-Date Systematic Review

Lipoma colónico; CirugíaLipoma colònic; CirurgiaColonic lipoma; SurgeryBackground: Colonic lipomas are rare and can sometimes cause intussusception. The aim of this review was to define the presentation and possible management for colocolic intussusception caused by colonic lipomas. Methods: A systematic search for patients with colocolic intussusception caused by colonic lipoma, including all available reports up to 2021. Epidemiological, clinical, laboratory, and instrumental data and details about the treatments performed were gathered. Results: Colocolic intussusception caused by lipoma is more frequent in women (57%), occurring between 40 and 70 years of age. Up to 83% of patients report abdominal pain, followed by constipation (18%), rectal bleeding (16%), and diarrhea (12%), with abdominal tenderness (37%), and distension in 16%, whereas 24% have a negative exploration. CT (72%) and colonoscopy (62%) are more commonly able to diagnose the entity. The most common location of intussusception is the transverse colon (28%). The surgical operation varies according to the site. The average dimensions of the lipoma are 59.81 × 47.84 × 38.9 mm3. Conclusions: A correct preoperative diagnosis of colonic lipoma causing intussusception might not be easy. Despite nonspecific clinical and laboratory presentation, cross-sectional imaging can help differential diagnosis. Surgical treatment depends on the localization.This research received no external funding

Harmonic technology versus neodymium-doped yttrium aluminium garnet laser and electrocautery for lung metastasectomy: An experimental study

We compared the efficacy of non-anatomical lung resections with that of three other techniques: monopolar electrocautery; neodymium-doped yttrium aluminium garnet laser and harmonic technology. We hypothesized that the thermal damage with harmonic technology could be reduced because of the lower temperatures generated by harmonic technology compared with that of other devices.OBJECTIVES We compared the efficacy of non-anatomical lung resections with that of three other techniques: monopolar electrocautery; neodymium-doped yttrium aluminium garnet laser and harmonic technology. We hypothesized that the thermal damage with harmonic technology could be reduced because of the lower temperatures generated by harmonic technology compared with that of other devices. METHODS Initial studies were performed in 13 isolated pig lungs for each group. A 1.5-cm capsule was inserted within the lung to mimic a tumour and a total of 25 non-anatomical resections were performed with each device. The damage of the resected lung surface and of the tumour border were evaluated according to the colour (ranging from 0 - pink colour to 4 - black colour), histological (ranging from Score 0 - no changes to Score 3 - presence of necrotic tissue) and radiological (ranging from Score 0 - isointense T2 signal at magnetic resonance imaging to Score 3 - hyperintense T2 signal) criteria. A total of seven non-anatomical resections with harmonic technology were also performed in two live pigs to assess if ex vivo results could be reproducible in live pigs with particular attention to haemostatic and air-tightness properties. RESULTS In the ex vivo lung, there was a statistical significant difference between depth of thermal damage (P < 0.0001) in electrocautery (1.3 [1.2-1.4]), laser (0.9 [0.6-0.9]) and harmonic (0.4 [0.3-0.5]) groups. Electrocautery had a higher depth of thermal damage compared with that of the laser (P = 0.01) and harmonic groups (P = 0.0005). The harmonic group had a less depth of thermal damage than that of the laser group (P = 0.01). Also, histological damages of tumour borders (P < 0.001) and resected lung surface (P < 0.001), radiological damage of tumour borders (P < 0.001) and resected lung surface (P < 0.001) and colour changes (P < 0.001) were statistically different between three study groups. Resections of in vivo pig lungs showed no bleeding; 2 of 7 cases of low air leaks were found; however, they ceased by sealing lung parenchyma with harmonic technology. CONCLUSIONS Our experimental data support the resections performed with the use of harmonic technology. The lack of severe tissue alterations could favour healing of parenchyma, assure air tightness and preserve functional lung parenchyma. However, randomized controlled studies are needed in an in vivo model to corroborate our findings